Search Results for "/storage/emulated/0/android/data/net.sourceforge.uiq3.fx603p/files"
Sort By:
Showing 5 open source projects for "/storage/emulated/0/android/data/net.sourceforge.uiq3.fx603p/files"
View related business solutions-
The most advanced C and C++ source code analyzerTrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
-
Software for managing apps and accounts | WebCatalogTurn websites into desktop apps with WebCatalog Desktop—your all-in-one tool to manage apps and accounts. Switch between multiple accounts, organize apps by workflow, and access a curated catalog of desktop apps for Mac and Windows.
-
1
Better BibTeX for Zotero
Make Zotero effective for us LaTeX holdouts
Better BibTeX (BBT) is a plugin for Zotero and Juris-M that makes it easier to manage bibliographic data, especially for people authoring documents using text-based toolchains (e.g. based on LaTeX / Markdown). Zotero does all its work in UTF-8 Unicode, which is absolutely the right thing to do. Unfortunately, for those shackled to BibTeX and who cannot (yet) move to BibLaTeX, unicode is a major PITA. Also, Zotero supports some simple HTML markup in your items that Bib(La)TeX won’t understand. -
2
Obsidian Latex Suite
Make typesetting LaTeX as fast as handwriting through snippets & text
A plugin for Obsidian that aims to make typesetting LaTeX math as fast as handwriting. -
3
Obsidian TikZJax
Render LaTeX and TikZ diagrams in your notes
A plugin for Obsidian that lets you render LaTeX and TikZ diagrams in your notes. You can render graphs, figures, circuits, chemical diagrams, commutative diagrams, and more. -
4
resumake.io
A website for automatically generating elegant LaTeX resumes
An open‑source web application (built with Node.js, Koa, React/Redux) that lets users create elegant LaTeX resumes via a graphical interface—no manual LaTeX coding required. Templates are selectable, inputs are interactive, and PDF outputs are generated on‑the‑fly without storing user data. -
New Relic provides the most powerful cloud-based observability platform built to help companies create more perfect software.Correlate issues across your stack. Debug and collaborate from your IDE. AI assistance at every step. All in one connected experience - not a maze of charts.
-
5
LTEX Extension for VS Code
LTeX: Grammar/spell checker for VS Code using LanguageTool
LTEX provides offline grammar checking of various markup languages using LanguageTool (LT). LTEX can be used standalone as a command-line tool, as a language server using the Language Server Protocol (LSP), or directly in various editors using extensions. LTEX currently supports BibTEX, ConTEXt, LATEX, Markdown, Org, reStructuredText, R Sweave, and XHTML documents. A classic use case of LTEX is checking scientific LATEX papers.
- Previous
- You're on page 1
- Next
