Mathematics Software for Mac

View 22 business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | 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
  • 1
    Handcalcs

    Handcalcs

    Python library for converting Python calculations into rendered latex

    Handcalcs is a Python library that auto-renders calculation code in Jupyter notebooks or LaTeX documents with step-by-step symbolic substitution, giving output a “handwritten” feel. It supports cell magics and auto-LaTeX generation via configurable output options.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    Hecke.jl

    Hecke.jl

    Computational algebraic number theory

    Hecke is a software package for algebraic number theory maintained by Claus Fieker, Tommy Hofmann and Carlo Sircana. It is written in julia and is based on the computer algebra packages Nemo and AbstractAlgebra. Hecke is part of the OSCAR project and the development is supported by the Deutsche Forschungsgemeinschaft DFG within the Collaborative Research Center TRR 195.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    JuMP

    JuMP

    Modeling language for Mathematical Optimization

    JuMP is a modeling language and collection of supporting packages for mathematical optimization in Julia. JuMP makes it easy to formulate and solve a range of problem classes, including linear programs, integer programs, conic programs, semidefinite programs, and constrained nonlinear programs. JuMP is used to solve large-scale inventory routing problems at Renault, schedule trains at Thales Inc., plan power grid expansion at PSR, and route school buses.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    Mathematics Dataset

    Mathematics Dataset

    This dataset code generates mathematical question and answer pairs

    The Mathematics Dataset, developed by Google DeepMind, is a synthetic dataset designed to evaluate and train machine learning models on mathematical reasoning and symbolic manipulation. It generates question-and-answer pairs across a wide range of mathematical topics typically found in school-level curricula, testing a model’s ability to reason about algebra, arithmetic, calculus, probability, and more. Each question is programmatically generated with structured templates to ensure clear logic and reproducibility. The dataset enables models to learn mathematical problem-solving through examples that involve both numeric and symbolic reasoning. Version 1.0 includes over 2 million examples per category, with training splits labeled as “easy,” “medium,” and “hard,” supporting curriculum-based learning strategies. The data can be accessed via PyPI or generated locally using provided Python scripts, with outputs formatted for direct use in training or evaluation pipelines.
    Downloads: 1 This Week
    Last Update:
    See Project
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 5
    OpenGL Mathematics

    OpenGL Mathematics

    Highly Optimized Graphics Math (glm) for C

    Highly optimized 2D|3D math library, also known as OpenGL Mathematics (glm) for `C`. cglm provides lot of utils to help math operations to be fast and quick to write. It is community-friendly, feel free to bring any issues, bugs you faced. Almost all functions (inline versions) and parameters are documented inside the corresponding headers. OpenGL-related functions are dropped to make this lib platform/third-party independent. Make sure you have the latest version and feel free to report bugs, troubles. Euler angles was implemented in reverse order (extrinsic) it was fixed, now they are intrinsic. Make sure that you have the latest version. vec4 and mat4 variables must be aligned. (There will be unaligned versions later). cglm doesn't alloc any memory on heap. So it doesn't provide any allocator. You should alloc memory for out parameters too if you pass pointer of memory location.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    Oscar.jl

    Oscar.jl

    A comprehensive open source computer algebra system for computations

    Welcome to the OSCAR project, a visionary new computer algebra system that combines the capabilities of four cornerstone systems: GAP, Polymake, Antic and Singular. OSCAR requires Julia 1.6 or newer. In principle it can be installed and used like any other Julia package; doing so will take a couple of minutes. A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    Witchcraft

    Witchcraft

    Monads and other dark magic for Elixir

    Witchcraft brings algebraic and category-theoretic abstractions—like semigroups, monoids, functors, applicatives, and monads—to Elixir in a pragmatic, protocol-driven way. It introduces a set of typeclass-style protocols and laws so data types can declare the operations they support and have those behaviors verified. The library encourages composability and pure transformations, letting you build pipelines where effects are modeled explicitly rather than hidden in ad-hoc helpers. Because the implementation leans on Elixir protocols, you can extend Witchcraft’s abstractions to your own structs without invasive inheritance hierarchies. It promotes predictable, law-abiding behavior through property-based testing helpers and a focus on algebraic reasoning. Teams reach for Witchcraft when they want to structure business logic with reusable, mathematically grounded patterns that remain idiomatic to the BEAM.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    R packages (maintained by YJLEE)

    R packages (maintained by YJLEE)

    R packages for PK/PD modeling , BE/BA, drug stability, ivivc, etc.

    These R packages are developed for data analysis of PK/PD modeling & simulation, bioequivalence/bioavailability (BE/BA), drug stability, in-vitro and in-vivo correlation (ivivc), as well as therapeutic drug monitoring (TDM).
    Downloads: 7 This Week
    Last Update:
    See Project
  • 9
    Gap.app

    Gap.app

    Gap.app is a frontend and distribution for GAP on macOS

    A native Macintosh front-end and distribution for the GAP computer algebra system. It provides a Mac-like command editing environment and save/load, while making available graphical libraries compatible with xgap.
    Downloads: 8 This Week
    Last Update:
    See Project
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 10

    libnova

    Celestial Mechanics Engine

    libnova is a general purpose, double precision, celestial mechanics, astrometry and astrodynamics library.
    Leader badge
    Downloads: 20 This Week
    Last Update:
    See Project
  • 11
    DataMelt

    DataMelt

    Computation and Visualization environment

    DataMelt (or "DMelt") is an environment for numeric computation, data analysis, computational statistics, and data visualization. This Java multiplatform program is integrated with several scripting languages such as Jython (Python), Groovy, JRuby, BeanShell. DMelt can be used to plot functions and data in 2D and 3D, perform statistical tests, data mining, numeric computations, function minimization, linear algebra, solving systems of linear and differential equations. Linear, non-linear and symbolic regression are also available. Neural networks and various data-manipulation methods are integrated using powerful Java API. Elements of symbolic computations using Octave/Matlab scripting are supported.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 12
    K3DSurf
    K3DSurf (now MathMod) is a program to visualize and manipulate Mathematical models in three, four, five and six dimensions. K3DSurf supports Parametric equations and Isosurfaces. ****** Welcome to the realm of complex numbers! Change-log for MathMod-11.1 (16/06/2021) 1) Support of graphing functions with complex numbers Z=u+iv in 3D and 4D spaces (demo scripts: "Complex3D_xx" and "Complex4D_Saddle") 2) Added support for HSV (hue, saturation, brightness) coloring model (script: "Complex_Domain_Coloring") 3) Texture definitions (RGB and HSV) for parametric surfaces can now be expressed as functions of complex numbers 4) Added a software implementation for the OpenGL variable gl_FrontFacing (fixed an issue with GPU drivers on MacOSX Catalina). The activation of this patch is available from mathmodconfig.js ("OpenGlConfig"-->"GL_FrontFacingSupport"=false) or the GUI("Appearance"-->"OpenGL Front Surface Support") 5) Bug-fixes, code optimization and documentation update.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 13
    This is a sophisticated & integrated simulation and analysis environment for dynamical systems models of physical systems (ODEs, DAEs, maps, and hybrid systems). It supports symbolic math, optimization, continuation, data analysis, biological apps...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 14
    JTransforms is the first, open source, multithreaded FFT library written in pure Java. Benchmark results show better performance than FFTW. The latest version is available at http://github.com/wendykierp/JTransforms.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 15
    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 posting and backup. Formulas : - math physics symbols - operation symbols - logical symbols - arrows symbols - relation symbols - bracket symbols - differential symbols - functions symbols - integral symbols - matrix symbols - sqrt & frac symbols - sub & sup symbols - sum & prod symbols - greek characters
    Leader badge
    Downloads: 18 This Week
    Last Update:
    See Project
  • 16
    Wcalc

    Wcalc

    A powerful arbitrary-precision calculator.

    Wcalc is a powerful arbitrary-precision calculator. It has standard functions (sin, asinh, logtwo, floor, etc), many pre-defined constants (pi, e, c, etc.), variables, "active" variables, command history, and hex/octal/binary i/o, conversions, and more
    Leader badge
    Downloads: 18 This Week
    Last Update:
    See Project
  • 17
    Math library for Delphi, FreePascal and Lazarus
    Downloads: 5 This Week
    Last Update:
    See Project
  • 18

    Logic Calculator

    A Calculator to perform logical operations

    The Logic Calculator is an application useful to perform logical operations. It has three modes: (1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the logic formula and the Logic Calculator displays the truth table along with the models of the formula. (2) Logical entailment: In this mode the user can insert a number of premises followed by a number of conclusions, so the Logic Calculator displays the truth table of each premise / conclusion and the result of whether or not these premises logically entail the given conclusions. (3) Conversion of a formula to Disjunctive Normal Form (DNF) and Conjunctive Normal Form (CNF): In this mode the user inserts a logic formula and the Logic Calculator outputs its representation in both a DNF and CNF.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 19
    jsMath
    JsMath is a means of including mathematical notation in web pages. It interprets TeX code within your document and uses JavaScript, CSS and unicode fonts to typeset the resulting formulas. It works across multiple browsers and platforms, without MathML
    Downloads: 5 This Week
    Last Update:
    See Project
  • 20
    SigPack

    SigPack

    SigPack - A signal processing library using Armadillo

    SigPack is a C++ signal processing library using the Armadillo library as a base. The API will be familiar for those who has used IT++ and Octave/Matlab.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 21

    DDE-BIFTOOL

    Bifurcation analysis for delay-differential equations

    DDE-BIFTOOL is a set of routines for performing numerical bifurcation analysis of delay-differential equations, running in Matlab or Octave[2]. It was originally created by Koen Engelborghs at KU Leuven (Belgium). [1] Tutorial demo <http://ddebiftool.sourceforge.net/demos/neuron/html/demo1_simple.html> shows the output of an illustrative demo. <http://ddebiftool.sourceforge.net> links to documentation, a list of contributors and current maintainers. The original DDE-BIFTOOL webpage at KU Leuven [1] stores versions up to 3.0 and their documentation. [1] <http://twr.cs.kuleuven.be/research/software/delay/ddebiftool.shtml> [2] <https://www.gnu.org/software/octave> Further tutorials (by M Bosschaert) at <https://sites.google.com/a/uhasselt.be/maikel-bosschaert/home> (pdf files).
    Leader badge
    Downloads: 9 This Week
    Last Update:
    See Project
  • 22

    ViennaCL

    Linear algebra and solver library using CUDA, OpenCL, and OpenMP

    ViennaCL provides high level C++ interfaces for linear algebra routines on CPUs and GPUs using CUDA, OpenCL, and OpenMP. The focus is on generic implementations of iterative solvers often used for large linear systems and simple integration into existing projects.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 23
    pgfplots - A TeX package to draw normal and/or logarithmic plots directly in TeX in two and three dimensions with a user-friendly interface and pgfplotstable - a TeX package to round and format numerical tables. Examples in manuals and/or on web site. ATTENTION: As of February 2020, the development has been moved to https://github.com/pgf-tikz/pgfplots ! Please refer to the new page for downloads and change requests! This page is kept in read-only mode.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 24
    OpenPFGW is software that is designed to perform PRP and primality tests on numbers of specific forms. This software currently run on any x86 hardware with the support of George Woltman's gwnum library, the same library behind GIMPS and Prime95.
    Leader badge
    Downloads: 15 This Week
    Last Update:
    See Project
  • 25

    bootf2BCA

    computing f2 bootstrap CI BCA

    Computing similarity factor (f2) bootstrap bias corrected and accelerated confidence interval
    Downloads: 15 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB