Search Results for "tex gnu"
Sort By:
Showing 8 open source projects for "tex gnu"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
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
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. -
2
LaTeXTaglet is a javadoc taglet for using LaTeX formula in standard javadoc-generated html documentation.
-
3
Experimental browser that natively supports HTML, PDF, man pages, TeX DVI, scanned paper. Annotate with hyperlinks, highlights, notes, executable copy editor markup. [PDF tools for compress, impose, decrypt/encrypt, split/merge have been moved.]
-
4
Generates syntax highlighted HTML for almost all (including ASP,Aspect-J,AWK,C++,C#,COBOL,CSS,FreeMarker,Groovy,HTML,INI,Java,JavaScript,JSP,Makefile,Pascal,Perl,PHP,PL-SQL,Properties,Python,RTF,Smalltalk,TeX,VBScript,Velocity,XML,XSL) languages.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
Bibliography converter. Converts BibTeX bibliographies to Docbook 5.0 bibliography documents. Can be used as a command-line tool, Ant task or as library in other applications.
-
6
This tool enables you to produce a LaTeX (standard, no extension required) report for database objects (tables, views, indexes, functions, primary/foreign keys, columns, types, keywords, system functions) thanks to the JDBC Api.
-
7
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.
-
8
DOX is a document processing system inspired by TeX, but much more lightweight and simple to use. DOX keeps the source text as simple as possible by replacing obscure formatting symbols and constructs with more "natural" alternatives.
- Previous
- You're on page 1
- Next
