Search Results for "arch base linux"

x
Sort By:

Showing 5 open source projects for "arch base linux"

View related business solutions
TeX/LaTeX Mac Clear Filters & Widen Search
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Start Free
  • $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
  • 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
  • Paessler - Monitor Your Whole Network in Minutes Icon
    Paessler - Monitor Your Whole Network in Minutes

    Auto-discovery finds your devices and deploys pre-configured sensors instantly. No project plan required, just visibility from day one.

    Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
    Start Free 30-Day Trial
  • 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