Search Results for "latex-mk" - Page 2
Sort By:
Showing 125 open source projects for "latex-mk"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
-
2
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. -
3
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. ... -
4
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. -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
5
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... -
6
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. -
7
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. -
8
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. -
9
Bibi - the Bibtex File Manager. Bibi is a graphical, platform-independent editor and manager for .bib files.
-
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
ohtu-miniproj-cyborg-ducks-
Ohjelmistotuotanto kevät 2015 Miniprojekti
Handles .bib formatting with two-way interaction (save & load). -
11
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. -
12
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.
-
13
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. -
14
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.
-
15
ValidaTex
LaTeX documents and typography validator
-
16
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. -
17
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 . با سلام به دوستان این پروژه ی من و آقای علیرضا علیجانی در درس کامپایلر است کوئری پایگاه داده را یه تصویر جبر رابطه تبدیل می کند -
18
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... -
19
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. -
20
-
21
FigTeX manages images and their easy inclusion in LaTeX documents. Similar to BibTex, the image information is stored in an external file and is imported into the document as needed. It comes with a comfortable GUI for managing the image library.
-
22
LaTeX EditKit is a text-editing tool that can convert the edited text to LaTeX
-
23
SIGGI
Simulation of Ideation Games and Games concerning Ideation
This is the SIGGI program used for a diploma thesis in 2012. It can be used as a solid basis for research concerning Ideation Games (Idea Creation). If you have module requests or want to contribute please contact the author. -
24
GraTeX
Visual graph creator for LaTeX (PGF & TikZ)
Java application for creating graphs, with a simple and intuitive interface. Obtaining LaTeX code for designed graph is a single-click operation. Allows creating less and more complicated graphs for LaTeX documents without any knowledge about TikZ library. The program lets you design and edit vertices, edges and labels to your liking thanks to a wide range of variants adequate to TikZ library. GraTeX incorporates common editing mechanisms like saving/loading projects, undo-redo & copy-paste operations, and many other useful features. ... -
25
stymaker
Create your own LaTeX style.
Stymaker is a GUI application assisting LaTeX users with creating their own style packages. After filling a simple form one can get a new package file corresponding to the chosen settings. This package may be included in preamble of LaTeX document by: \usepackage{mystyle} The new package, based on standard LaTeX packages, allows changing of the document layout, or appearance of standard environments like such as lists.
