Search Results for "vim-latex"
Sort By:
Showing 12 open source projects for "vim-latex"
View related business solutions-
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.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
JQM Java Quine McCluskey
JQM - Java Quine McCluskey for minimization of Boolean functions.
Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for... -
2
RINO Software
RINO generates random maths exercises for secondary school teachers.
RINO software is a resource for secondary school maths teachers. It is designed to create lists of maths exercices. It has been programmed using JAVA. Thus it is multi-platform. The output exercices are LaTeX files. It also has an option to provide PDF format. -
3
The Art of Programming
A collection of practical tips can be found at the bottom of this page
The Art of Programming (Second Edition) is a curated collection of programming problems and solutions originally derived from the Microsoft 100 Interview Questions blog series, later refined into a long-running tutorial and ultimately a published book. Created by July, the series began in 2010 and has since evolved into an in-depth exploration of algorithmic thinking, data structures, and coding interview preparation. The repository brings together 42 classic programming problems from the... -
4
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. -
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.
-
5
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. -
6
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. -
7
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 . با سلام به دوستان این پروژه ی من و آقای علیرضا علیجانی در درس کامپایلر است کوئری پایگاه داده را یه تصویر جبر رابطه تبدیل می کند -
8
eLML (eLesson Markup Language) is an XML framework for creating structured eLessons based on a pedagogical model. eLML consists of an XMLSchema and XSLT files to create XHTML, PDF, LaTeX, IMS CP and SCORM versions, standards supported by most LMS.
-
9
Schoodule is a set of programs to automatically generate schedules for schools. It is mainly meant for the Flemish educational system, but it might be usefull fot other systems as well. The output can be transformed to LaTeX format.
-
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.
-
10
Athena Flashcard Manager. A program for creating and reviewing sets of HTML- or LaTeX-formatted flashcards. The flashcard review method makes use of the Leiter system, which reduces the frequency each card is seen as the user masters the subject matter.
-
11
Alexandria.bib is a bibliography groupware web managment system. It manages the content of LaTex .bib files and share bibliography between users. It is written in java.
-
12
BibTeXlipse is an Eclipse plugin for managing and analyse bibliography databases. Mainly for BibTeX databases, but will import and export many other bibliographic formats. It's currently in planning phase.
- Previous
- You're on page 1
- Next
