Search Results for "tex gnu"

x
Sort By:

Showing 8 open source projects for "tex gnu"

View related business solutions
Documentation Java Clear Filters & Widen Search
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 1
    Hilbert II - QEDEQ

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    LaTeXTaglet is a javadoc taglet for using LaTeX formula in standard javadoc-generated html documentation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.]
    Downloads: 4 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

MongoDB Logo MongoDB