Showing 5 open source projects for "arch base linux"

View related business solutions
  • Veeam Data Platform v13.1 Icon
    Veeam Data Platform v13.1

    Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try Now
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    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
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    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