Mathematics Software for BSD

  • Run applications fast and securely in a fully managed environment Icon
    Run applications fast and securely in a fully managed environment

    Cloud Run is a fully-managed compute platform that lets you run your code in a container directly on top of scalable infrastructure.

    Run frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.
    Try for free
  • Lease Accounting Software Icon
    Lease Accounting Software

    Unlock financial opportunity in your leases.

    Visual Lease is lease accounting and lease administration software specifically designed to manage your company’s real estate and equipment leases. Loved by users worldwide, Visual Lease embeds decades of deep lease management and financial accounting expertise. It is intuitive, easy to use and integrates with all major ERP systems.
    Learn More
  • 1
    A Binary Decision Diagram library, with : many highly efficient vectorized BDD operations, dynamic variable reordering, automated garbage collection, a C++ interface with automatic reference counting, and much more.
    Leader badge
    Downloads: 79 This Week
    Last Update:
    See Project
  • 2
    CRC RevEng

    CRC RevEng

    Arbitrary-precision CRC calculator and algorithm finder

    CRC RevEng is a portable, arbitrary-precision CRC calculator and algorithm finder. It calculates CRCs using any of the 113 preset algorithms, or a user-specified algorithm to any width. It calculates reversed CRCs to give the bit pattern that produces a desired forward CRC. CRC RevEng also reverse-engineers any CRC algorithm from sufficient correctly formatted message-CRC pairs and optional known parameters. It comprises powerful input interpretation options. Compliant with Ross Williams' Rocksoft(tm) model of parametrised CRC algorithms.
    Leader badge
    Downloads: 83 This Week
    Last Update:
    See Project
  • 3
    Agena

    Agena

    Agena is an interpreted procedural programming language.

    Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS.
    Leader badge
    Downloads: 175 This Week
    Last Update:
    See Project
  • 4
    Minsky

    Minsky

    System dynamics program with additional features for economics

    Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at https://www.patreon.com/Ravelation/. This creates a user community, which SourceForge doesn't facilitate.
    Leader badge
    Downloads: 63 This Week
    Last Update:
    See Project
  • The database client with the highest user satisfaction Icon
    The database client with the highest user satisfaction

    DbVisualizer has everything you need to build, manage and maintain state-of-the-art database technologies.

    DbVisualizer is the highest performer among the universal database tools in the G2 grid for universal database management systems. Write queries in an advanced SQL editor that has all the smart features you need. Speed up your coding and avoid errors. Design your favorite workspace that is saved between sessions. Tag objects and script files as favorites for instant loads. Autosave your work and resume where you left off with editors preserved between sessions. Connect with high security. Work with optimized features and functions, improved for over a decade by continuous feedback from thousands of users. Customers range from self employed consultants to major institutions and global corporations with more than 8,000 licensed users.
    Learn More
  • 5
    Msieve is a C library implementing a suite of algorithms to factor large integers. It contains an implementation of the SIQS and GNFS algorithms; the latter has helped complete some of the largest public factorizations known
    Leader badge
    Downloads: 49 This Week
    Last Update:
    See Project
  • 6

    Java Universal Network/Graph Framework

    Java graph/network library

    JUNG provides a common and extendible language for the modeling, analysis, and visualization of data that can be represented as a graph or network. New version now available on GitHub: https://github.com/jrtom/jung/releases/tag/jung-2.1
    Downloads: 32 This Week
    Last Update:
    See Project
  • 7
    GraphCalc is a very gui graphing calculator. It has been called a good replacement for a TI-85. It is a must for any high school math student.
    Downloads: 37 This Week
    Last Update:
    See Project
  • 8
    This emulator is capable of providing a faithful replication of the HP48. It also has a debugger for the saturn processor.
    Leader badge
    Downloads: 42 This Week
    Last Update:
    See Project
  • 9
    The JTS Topology Suite is an API for modelling and manipulating 2-dimensional linear geometry. It provides numerous geometric predicates and functions. JTS conforms to the Simple Features Specification for SQL published by the Open GIS Consortium.
    Leader badge
    Downloads: 26 This Week
    Last Update:
    See Project
  • Bare Metal Cloud Servers Icon
    Bare Metal Cloud Servers

    Cloud-native dedicated servers powered by automation

    phoenixNAP is a global IaaS provider delivering world-class infrastructure solutions from strategic edge locations in the U.S., Europe, Asia-Pacific, Australia, and Latin America.
    Learn More
  • 10
    MathMod

    MathMod

    MathMod is a mathematical modeling software

    MathMod is a portable interactive plotting and graphing program for Windows, Linux, MacOSX and many other platforms. MathMod allows to plot 3D mathematical surfaces, described by implicit or parametric equations, and offers a very large database of model samples that can be generated with it. It's Free and Open Source. Change-log for MathMod-13.0 (15/11/2025) 1) Scripts generator to add thickness to iso/parametric surfaces 2) Undo/Redo commands for navigating through previous scripts 3) New scripts, Bug-fixes, code optimization and documentation update For a complete list of changes made during the course of development, please visit: https://github.com/users/parisolab/projects/2
    Leader badge
    Downloads: 30 This Week
    Last Update:
    See Project
  • 11
    JGraphT
    JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
    Leader badge
    Downloads: 26 This Week
    Last Update:
    See Project
  • 12
    Madagascar
    Madagascar is a software package for geophysical data processing and reproducible numerical experiments. The package mission is to provide a convenient environment for researchers working with digital image and data processing in geophysics and related fields.
    Leader badge
    Downloads: 34 This Week
    Last Update:
    See Project
  • 13
    CompPad
    CompPad is a LibreOffice extension that provides live mathematical and engineering calculations within a Writer document. It is intended to provide a free / open-source alternative to Mathcad .
    Downloads: 19 This Week
    Last Update:
    See Project
  • 14
    S-GeMS is a software for 3D geostatistical modeling. It implements many of the classical geostatistics algorithms, as well as new developments made at Stanford University. See http://sgems.sourceforge.net
    Leader badge
    Downloads: 59 This Week
    Last Update:
    See Project
  • 15

    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.
    Leader badge
    Downloads: 38 This Week
    Last Update:
    See Project
  • 16
    GTS provides a set of useful functions to deal with 3D surfaces meshed with interconnected triangles including collision detection, multiresolution models, constrained Delaunay triangulations and robust set operations (union, intersection, differences).
    Leader badge
    Downloads: 56 This Week
    Last Update:
    See Project
  • 17
    FriCAS is an advanced computer algebra system. Its capabilities range from calculus (integration and differentiation) to abstract algebra. It can plot functions and has integrated help system.
    Leader badge
    Downloads: 14 This Week
    Last Update:
    See Project
  • 18
    Mathematics

    Mathematics

    Accumulation of mathematical knowledge, matrix numerical optimization

    Mathematics is a comprehensive collection of notes, resources, and references spanning a wide range of mathematical topics. The repository organizes material across pure and applied mathematics, including calculus, linear algebra, probability, statistics, and optimization. It also extends into computational and algorithmic applications of mathematics, making it a useful reference for both academic study and practical problem-solving. The goal is to provide learners, researchers, and developers with a consolidated source of foundational and advanced mathematical concepts. By gathering a diverse set of topics into one repository, it supports continuous learning and interdisciplinary exploration. Its open source nature allows for community contributions and adaptation to different educational or research needs.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 19
    PyTensor

    PyTensor

    Python library for defining and optimizing mathematical expressions

    PyTensor is a fork of Aesara, a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays. PyTensor is based on Theano, which has been powering large-scale computationally intensive scientific investigations since 2007. A hackable, pure-Python codebase. Extensible graph framework is suitable for rapid development of custom operators and symbolic optimizations. Implements an extensible graph transpilation framework that currently provides compilation via C, JAX, and Numba. Based on one of the most widely-used Python tensor libraries: Theano.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 20
    Mobile Open-Source Software and Tools

    Mobile Open-Source Software and Tools

    Android, UIQ 3.0, Series 60 Edition 5 open-source software

    Android, Symbian UIQ 3.0 and Symbian Series 60 Edition 5 open-source software, tools, libraries and themes. Most notable the FX-602P / FX-603P Simulator and the HP-45 Emulator are hosted here.
    Leader badge
    Downloads: 29 This Week
    Last Update:
    See Project
  • 21
    Math library for Delphi, FreePascal and Lazarus
    Downloads: 13 This Week
    Last Update:
    See Project
  • 22
    This material enables IBM SPSS Statistics users to run code written in the R language inside Statistics. Additional free items for R in Statistics and other materials are available from the SPSS Community at www.ibm.com/developerworks/spssdevcentral
    Downloads: 9 This Week
    Last Update:
    See Project
  • 23
    Calculator-Scripts

    Calculator-Scripts

    Just a few scripts for pocket calculators.

    Just a few applications for various pocket calculators.
    Downloads: 42 This Week
    Last Update:
    See Project
  • 24

    NCO netCDF Operators

    Command-line operators for netCDF and HDF files

    The netCDF Operators, or NCO, are a suite of file operators which facilitate manipulation and analysis of self-describing data stored in the (freely available) netCDF and HDF formats. Volunteers welcome! See homepage for details and download links.
    Leader badge
    Downloads: 7 This Week
    Last Update:
    See Project
  • 25
    Sparse is a direct method solver for the large sparse matrices that are associated with electrical circuit simulation. It uses LU factorization and handles both real and complex square matrices.It is intended to solve many matrices with the same structure
    Leader badge
    Downloads: 37 This Week
    Last Update:
    See Project