Search Results for "arch base linux"

x
Sort By:

Showing 5 open source projects for "arch base linux"

View related business solutions
TeX/LaTeX Clear Filters & Widen Search
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • 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
  • 1
    LaTeX2e Kernel Code Repository
    LaTeX is a high-quality typesetting system; it includes features designed for the production of technical and scientific documentation. LaTeX is the de facto standard for the communication and publication of scientific documents. LaTeX is available as free software.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 2
    Franklin.jl

    Franklin.jl

    Static site generator. Simple, customisable, fast, maths with KaTeX

    Franklin is a simple static site generator (SSG) oriented towards technical blogging (code, maths, ...), flexibility and extensibility. The base syntax is plain markdown with a few extensions such as the ability to define and use LaTeX-like commands in or outside of maths environments and the possibility to evaluate code blocks on the fly.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    calc2booktab.latex

    calc2booktab.latex

    Script for OpenOffice/LibreOffice to convert tables to Latex-Code

    ...Its similar to Calc2Latex, but typographic formatting is more advanced (numeric columns, dcolumn-package, booktab-package) Script is tested and working with... ... Ubuntu 12.04 64 bit / LibreOffice 3 ... Windows 7 64 bit / LibreOffice 3* ... Arch Linux 64 bit / LibreOffice 4.2 *Encoding problems with special characters (non-unicode) on Windows reported.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    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
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini 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.
    Start Free
  • 5
    dbook is a collection of programs to manage a big book collection on the command line Including: ISBN checker and converter, Amazon book information retrieval, [book data base, lend record] create bibtex out of latex/tex automatically. DBook is also a Document creation tool which can be found under http://www.dbook.org
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

veeam logo