8 projects for "gnu operating system" with 2 filters applied:

  • Save Up to 91% on Cloud Compute With Spot VMs Icon
    Save Up to 91% on Cloud Compute With Spot VMs

    Automatic sustained-use discounts. One free VM per month. No negotiation needed.

    Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
    Try Free
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Try Free
  • 1
    eBook

    eBook

    LaTeX book with examples, open-source eBook

    LaTeX can be a challenging system to learn, but with this book of different examples, it becomes interesting and easier than ever. This comprehensive guide covers a lot of essentials and is written in a clear and concise style, showing the result vs code. Plus, it's #opensource and freely available, creating a collaborative learning environment. In this book the I try to reveal how you can find necessary pieces of TeX code looking only at already done work. If you want to create...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    SBML2LaTeX

    SBML2LaTeX

    A documentation and report generator for systems biological models

    SBML2LATEX is a tool to convert files in the System Biology Markup Language SBML) format into LATEX files. A convenient online version is available, which allows the user to directly generate report from SBML in form of PDF or TeX, which can be further processed to various file types including DVI, PS, EPS, GIF, JPG, or PNG. SBML2LATEX can also be downloaded and used locally in batch mode or interactively with its Graphical User Interface or several command line options. The purpose of...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    calc2booktab.latex

    calc2booktab.latex

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

    UPDATE: The project was moved to github (https://github.com/schober-ch/calc2booktab). The soruceforge page won't get any bugfixes, please use the github repo if you want to try this macro. -------------------------------------------------------------------------- A Python extension for OpenOffice/LibreOffice to convert selected cells to LaTeX-Code. Its similar to Calc2Latex, but typographic formatting is more advanced (numeric columns, dcolumn-package, booktab-package) Script is...
    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: 1 This Week
    Last Update:
    See Project
  • 99.99% Uptime for MySQL and PostgreSQL Databases Icon
    99.99% Uptime for MySQL and PostgreSQL Databases

    Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

    Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
    Try Free
  • 5
    VisualMathEditor

    VisualMathEditor

    LaTeX, AscciMath and MathML editor developed in Javascript and HTML

    Visual Math Editor New Version “ It now offers more than 730 LaTeX symbols and 210 AsciiMath symbols. It now works in all modern browsers without plugin. It now works with LaTeX, AsciiMath, MathML and HTML syntaxes. It improves the ergonomics of the user interface.” VisualMathEditor is a LaTeX, AsciiMath and MathML editor developed in Javascript and HTML. It operates independently on the web or locally. It has many features and menus that help the equation-entry and allow their...
    Leader badge
    Downloads: 15 This Week
    Last Update:
    See Project
  • 6
    Bib-it is a BibTeX frontend and a bibliographic style generator.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    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
  • 8
    Yabman is a tool for managing bibliographic references. Its key features are a quality user interface, a carefully designed data model, and sophisticated three-state hierarchical reference labeling. It is currently usable but in a pre-alpha stage.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo