Search Results for "vim-latex" - Page 2
Sort By:
Showing 134 open source projects for "vim-latex"
View related business solutions-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
JuniCoder is a Java project that uses unicode as a base for decoding and encoding formats that invented workarounds to express characters not covered by ASCII. Decoders translate those inventions to unicode. Encoders encode to these inventions.
-
2
Deinputex
Convert a latex document using the input directive to a single file.
Convert a latex document using the input directive to a single file. Example of use: java -jar deinputex.jar -i manuscript.tex -o manuscript-single.tex --verbose -
3
SBML2LaTeX
A documentation and report generator for systems biological models
SBML2LATEX is a tool to convert files in the System Biology Markup Language SBML) format into LATEX files. A convenient online version is available, which allows the user to directly generate report from SBML in form of PDF or TeX, which can be further processed to various file types including DVI, PS, EPS, GIF, JPG, or PNG. SBML2LATEX can also be downloaded and used locally in batch mode or interactively with its Graphical User Interface or several command line options. -
4
nervalreports
A lightweight report creation Java library
Nerval Reports is a lightweight report creation library, focused on minimal computational costs. Ideally, report creation should iterate only once through its data and minimize memory allocation and processor's use, but also restrict its dependencies only to what your specific use needs. Instead of the highly expensive way of well-known engines like Jasper Reports, where performance and data reiteration is a big and set aside problem (and also is the report design as a non-programming task),... -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
JabRef
JabRef is a graphical application for managing bibliographical data
JabRef is a graphical application for managing bibliographical databases. JabRef is designed specifically for BibTeX bases, but can import and export many other bibliographic formats. JabRef runs on all platforms and requires Java 1.8 or newer. -
6
Ant-Worker-Tasks
Extensions for Apache Ant for creating documentations
[english] The project is to extensions for Apache ant make available to create with the goal larger documents (for example, teaching scripts). Here are images, tables and drawings, etc. transformed so that they can be processed with LaTeX. Additional functions available for the work, the neighbor create PDF accordingly. [german] Das Projekt soll Erweiterungen für Apache ant zur Verfügung stellen, mit dem Ziel, größere Dokumente (beispielsweise für Unterrichtsskripte) zu erstellen. Dabei sollen Bilder, Tabellen und Zeichnungen usw. umgewandelt werden, so dass diese mit LaTeX verarbeitet werden können. ... -
7
FlexibleRichTextView
A view showing LaTeX, images, codes
This library is used for showing various rich text, including LaTeX, images, codes, tables, and normal styles such as center, bold, italic, and so on. An interesting feature is, that you can customize most tags as whatever you want. It uses CodeView to support code highlight, and JLaTeXMath to support LaTeX. The method to parse rich text is something like recursively descending. I'm open to PR that could improve performance, fix bugs and do anything to make this library better. -
8
JTexXchart
Java library for drawing 2D charts with LaTeX math support
Call me a purist, but I was never happy with the graphs produced with existing (free) Java tools. My dream package is lightweight with minimal dependencies, offers clean vector-graphics export and TeX-support for typesetting mathematical elements in axis labels, chart legends etc. This is hard (impossible?) to find and I thus decided to construct my own, mostly from existing code. This project is based on refactored versions of the popular packages 'XChart' (orig. by Tim Molter, © Knowm... -
9
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
MathOCR
A scientific document recognition system
MathOCR is a printed scientific document recognition system. MathOCR is still in the pre-alpha stage, recognition result may not be good enough for practical purposes. MathOCR is a printed scientific document recognition system written in pure Java. MathOCR has the functionality of image preprocessing, layout analysis and character recognition, especially the ability to recognize mathematical expression. MathOCR can work do not depends on other OCR software. -
11
MattsMathTools
MathTools is an aid in preparing printed math tests.
Matt's MathTools is a Java application designed as an aid in preparing printed math tests. It is easily embedded in other Java applications or it can be used alone as a single-user desktop app. It includes a scripting environment, numerous demonstration classes and several general utilities. A scripting tutorial is also available. -
12
Natural Deduction Planner
Assistant for generating Natural Deduction style proofs
...The style is that used in University of Auckland Philosophy courses. Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros. -
13
Bibi - the Bibtex File Manager. Bibi is a graphical, platform-independent editor and manager for .bib files.
-
14
ohtu-miniproj-cyborg-ducks-
Ohjelmistotuotanto kevät 2015 Miniprojekti
Handles .bib formatting with two-way interaction (save & load). -
15
MathOCR
A printed document recognition system that can deal with formula
MathOCR try to recognize printed scientific document including mathematical formula , result is available in LaTeX and HTML. -
16
MathToWeb is a Java-based authoring tool that converts mathematical expressions written in AMS-Latex to presentation MathML. It can be applied to single equations or entire documents containing many hundreds of equations.
-
17
ReportKeeper
Quick and efficient online solution for academic statement management.
In many countries, academics are obliged by their universities or other research facilities to make an annual statement of their academic achievements and progress of their intellectual work. ReportKeeper is a web application for creating and uploading such statements. It is developed with the aim of creating an easy-to-start and intuitive interface to make the experience as safe and comfortable at possible. -
18
Texlipse is a plugin that adds Latex editing support for the popular Eclipse Java IDE. Key features include: syntax highlight, command completion, bibliography completion, outline navigation and automatic building.
-
19
ValidaTex
LaTeX documents and typography validator
-
20
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
21
Spock Text Editor
Simply text editor for php, jsp, html, etc...
This app is designed in Java, so is fully compatible with Win, Mac and Linux 32 or 64 bits. It's a simple and fast text editor and supports: *.txt *.jsp *.php *.c *.h(headers for C language) *.java *.htm/html This is the first version and my first application on java. I hope you like it! See you in version 2! ;-) -
22
assassin-creed
change simple query to relation algebra
this is my compiler project with my best friend Alireza Alijani .it easy change query to relation algebra picture with Latex . با سلام به دوستان این پروژه ی من و آقای علیرضا علیجانی در درس کامپایلر است کوئری پایگاه داده را یه تصویر جبر رابطه تبدیل می کند -
23
Easy Equations
Hand Written Equation Creator
Easy Equations is a utility using which one can write the mathematical equations. The focus of this utility is to provide user friendly access to write mathematical equations which is helpful for students, lecturers, mathematicians and Research persons who prefer using mathematical equations in a document, PowerPoint or web sites. Works on Windows as well as Linux platforms. Software Requirements: JDK 7 or higher. Linux Platform with kernel version 2.7 or higher.(for Linux users).python... -
24
LaimEditor
The new multi-platform text editor with syntax highlighting
LaimEditor is new multi-platform portable text editor with syntax highlighting for many popular programming languages. It is writen on Java and can be launched on most computers with Java installed. Supported languages: C, C++, C#, CSS, Delphi, Fortran, HTML, Java, JavaScript, Latex, Perl, PHP, Python, XML, Windows batch, Unix shell It is planned to support more languages in future. Also it is planned to add compilers for languages like Java. -
25
VIM cloud
Web Based IaaS Cloud Controller (VimCloud)
This is a pure IaaS cloud controller with all the basic functionality of IaaS Cloud Controller. This uses proposed “Trust Based Scheduling Algorithm and Load Balancing Algorithm”. It uses Cloud Architecture with Trust Management layer. It uses Qemu machine emulator and virtualizer as virtualization software at Host. It uses Libvirt driver [30] to interact with Qemu and to interact with its virtualization capabilities of a range of operating systems. Libvirt provides a common, generic and...
