Mathematics Software for Linux

View 10 business solutions
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool free
  • 1
    Awesome Math

    Awesome Math

    This is the Curriculum for "How to Learn Mathematics Fast"

    This repository is a curated roadmap for learning the core mathematics used in computer science, machine learning, and data science without getting lost in unnecessary detours. It organizes topics like algebra, calculus, linear algebra, probability, and statistics into a pragmatic sequence that favors intuition and problem-solving over purely formal proofs. The materials emphasize short, high-leverage resources—video lectures, concise notes, and hands-on exercises—that help you build momentum quickly. It also suggests checkpoints and practice ideas so you can test comprehension and move forward with confidence. The structure is useful both for newcomers who want a starting plan and for practitioners filling specific gaps before tackling ML or deep learning. Overall, it acts as a compact study plan that turns “learn math” from a vague goal into a concrete, achievable path.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Some loop based random number generators in different languages.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    BACE for gretl

    Bayesian Averaging of Classical Estimates

    Bayesian Averaging of Classical Estimates package.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    This program minimizes boolean expressions. After combining minterms as far as possible, the program draws a chart of prime implicants which the user can easily read and manipulate to remove any remaining superfluous implicants.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 5
    BASH antoniovandre_mathgame
    Um simples jogo de operações aritméticas escrito em BASH.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A C++ library for Bayesian computation, including a collection of more generally-applicable utilities.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A fully customizable, extensible, scalable computational engine pluggable with various statistical and mathematical engines (R, Matlab, Octave, scilab...) The main focus and datatype considered is timeseries: the project contains also a portable and effi
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    This library provides OCaml-interfaces to the BLAS- and LAPACK libraries.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    The aim of this project is to translate the geostatistical BMELib Matlab Toolbox (http://www.unc.edu/depts/case/BMELIB/) into Python.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Try Free
  • 10

    BP (Bilinear Pairing)

    library for Bilinear Pairing

    A library encapsulating bilinear pairing computation and group computation in the cyclic groups G_1, G_2, G_T. The bilinear pairing is a bilinear, non-degenerate map between G_1 and G_2 to an element in G_T. The users can build complex pairing-based software by the Pairing library without much knowledge of elliptic curves or pairing or number theory. The library is smaller than 57 Kbytes, suitable for hand held devices. The size is only 3.7% of the size of the BPC library. Maximum supported group size is 911 bits. It is easy to compile the library for Android, ARM or x86 CPU. The API of the library is compatible with the PBC library. It is easy for the PBC library users to port their programs to this library, only with little modification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    NOTE: This project was moved to: https://github.com/eetorres The BPANNA is a flexible Back propagation neural network, which include the Conjugate Gradient and the Levenberg-Marquardt. You can change the number of inputs, number of layers, number of neurons per layer and outputs. It included an structure editor.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    BPKIT is a toolkit of block preconditioners for the iterative solution of sparse linear systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    BSP is the de facto standard node builder for the classic 3D shoot'em'up Doom.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    BSPonMPI is an implementation of the BSPlib standard on top of MPI. Both MPI and BSPlib are API's of communication routines meant for parallel computing, but BSPlib is easier to learn and its performance easier to predict.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    BabyTALK is to add another brick in the wall of natural languages learning. The baby needs to structure a corpus of texts when his tutor points and talks about a particular part of the corpus. The baby is also to describe any selected part of the corpus.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Proyecto de investigación científica sobre teoría del caos y fractales, su desarrollo empezó en el año 2008, siendo liderado por un grupo de estudiantes y profesores de la Universidad Industrial de Santander.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    BaseConvert is a small GUI tool to convert numbers of any lenght from any base (between 2 and 36) to another.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    This is module for basic computation with floating point numbers. Numbers can have very wide mantissa for good precision, for realize "arbitrary-precision arithmetic". Module was adapt for BCB and MSVC compilers. Russian comments.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    BasicBSpline.jl

    BasicBSpline.jl

    Basic (mathematical) operations for B-spline functions

    Basic (mathematical) operations for B-spline functions and related things with Julia.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Bayes+Estimate is a Rust and C++ library that implement numerical algorithms for Bayesian estimation. They provide tested and consistent numerical methods and represents the wide variety of Bayesian estimation algorithms and system model.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    BeastCalc is portable, cross-platform graphing calculator utility written in Java.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22

    Belief Merger

    A simple Belief Merging Prototype

    Belief merging aims at combining several pieces of (possibly inconsistent) information coming from different sources. The goal is to produce a single consistent set of information, trying to keep the most of the information of the sources. A belief merging operator is the responsible for making the belief merging. With this tool you can compare the ΔΣ, ΔGMax and the Δps (PS-Merge) operators.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23

    Belief Reviser

    Belief Revision via PS-Merge under constraints belief merging operator

    Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Belle is a generic higher order theorem prover in the style of Isabelle.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Benchee

    Benchee

    Easy and extensible benchmarking in Elixir

    Library for easy and nice (micro) benchmarking in Elixir. Benchee allows you to compare the performance of different pieces of code at a glance. It is also versatile and extensible, relying only on functions. There are also a bunch of plugins to draw pretty graphs and more! Benchee runs each of your functions for a given amount of time after an initial warmup, it then measures their run time and optionally memory consumption. It then shows different statistical values like average, standard deviation etc. The aforementioned plugins like benchee_html make it possible to generate nice-looking HTML reports, where individual graphs can also be exported as PNG images. first runs the functions for a given warmup time without recording the results, to simulate a "warm"/running system. Plugin/extensible-friendly architecture so you can use different formats to display benchmarking results as HTML, markdown, JSON, and more.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB