Browse free open source Mathematics software and projects for Linux below. Use the toggles on the left to filter open source Mathematics software by OS, license, language, programming language, and project status.

  • Host LLMs in Production With On-Demand GPUs Icon
    Host LLMs in Production With On-Demand GPUs

    NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

    Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
    Try Free
  • 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
  • 1
    CLISP - an ANSI Common Lisp
    CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
    Leader badge
    Downloads: 165 This Week
    Last Update:
    See Project
  • 2
    Graphical front-end for GNU Octave. Edit formulas in mathematical notation. Uses Octave (Matlab clone) as a math engine.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    The MathExt library was made to parse and calculate formulas of any complexity. It can easily be integrated into web applications. As developer you can set all kind of settings. You can even specify what commands should be available to the user.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    The aim of this project is to produce a software that will content two modules : - the first one will allow to conduct simulations of social behavior, - the second one will be able to produce philosophical considerations. The version version will be i
    Downloads: 1 This Week
    Last Update:
    See Project
  • 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
  • 5
    EXTE recognizes temporal expressions in a text. Temporal expressions are any references to the TIME e.g.: "today", "12th march 2006", "as soon as he woke up". This analyzer will recognize three languages: Spanish, English and French.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    The General Intensional Programming System (GIPSY) consists in three modular sub-systems: The General Intensional Programming Language Compiler (GIPC) ; the General Eduction Engine (GEE), and the Intensional Run-time Programming Environment (RIPE).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    LOOP (Language Object Oriented Parallel) is a visual programming language project dedicated to creating a full suite of components for simulation of hierarchical dynamical systems in discrete time.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    MIC* comes with a new vision of multi-agent system engineering: The multi-agent system is devided explicitly into two dimensions: the deployment environment and the autonomous agents. MIC* is an algebraic model of a deployment environment (container of a
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    MATHLIB3D: MATHLIB3D is a Vector/Matrix/Quaternion/Plane/Polynomial C++/Java library targeting either precision or fast mathematical operations executed on vectors, matrices and quaternions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
    Try it Free
  • 10
    NAC is a collection of tools for cryptography. The goal is to provide simple-to-use crypto tools (like an OTP, String and number generator, public key algorithm...) you can use under Linux, Windows...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    A plugin for the Eclipse IDE implementing NumericalChameleon: a powerful numerical convertor, supporting more than 2300 units in 78 categories (physics, radixes, exchange rates, unicode, etc). Fully integrated in the Eclipse IDE (refactoring, copy/paste)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    OPALE is an Open Source project which development is done at two different levels: the OPALE library: which is a scientific library written in Java and which is composed of different modules (tools, swools, mathtools,...). Its purpose is to give
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Let P be a 2D point expressed in a plane area defined by four 2D points A,B,C,D. The aim of our C++ class is to express the coordinates of P in order to match when A,B,C,D is rectified as a rectangle. A demo application shows the use of the C++ class.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    A completely portable C++ library, to provide a standard set of classes similar to Java Common API. It's highly efficient and it follows the Embedded C++ Standard. It's FREE (LGPL licensed).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    The Central Library is a mathematics library written in C++.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    binary Turing Machine

    binary Turing Machine

    A Turing Machine Simulator

    Free binary Turing Machine simulator with a graphical user interface and possibility to save your files. Language : French (no translation available)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    THIS PROJECT HAS MOVED
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    This tool allows to compute LOLIMOT models. LOLIMOT models are also called neuro-fuzzy models or fast neural network models. This tool can export the model into C, C++, Matlab.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    OCAMAWEB is a CWEB like literate programming tool written in the OCAML programming language. OCAMAWEB is actually intensively used at MIRIAD Technologies. Actually, a configuration file is ready for the MATLAB language, but configurations files are in
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    proof-logic

    Proof Logic : A logical framework for theorem proving

    Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB