Unix Shell Mathematics Software

View 2710 business solutions

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

  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Get the most trusted enterprise browser Icon
    Get the most trusted enterprise browser

    Advanced built-in security helps IT prevent breaches before they happen

    Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.
    Download Chrome
  • 1
    alphageometry
    AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 2
    This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.
    Downloads: 75 This Week
    Last Update:
    See Project
  • 3
    OOoLatex is no more maintained. Please consider using TexMaths (http://roland65.free.fr/texmaths/) OOoLatex is a set marcos designed to provide latex support into OpenOffice. Complex equations can be inserted as images, the latex code is saved into the image attribute while simpler equations are expanded into symbol characters to be inserted as text.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 4
    Spar is a math-oriented scripting language. It is simple, clean, and extensible.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 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
  • 5

    Model Transformation Tools

    Bond-graph based modelling tools

    A set of tools for modelling dynamic physical systems using the bond-graph methodology and transforming these models into representations suitable for analysis, control and simulation. These tools use, and generate m files for, GNU Octave.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 6
    Drception

    Drception

    Fractals generator with powerful functionality.

    Fractals generator with powerful functionality. E-mail: programmingspecial@gmail.com
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7
    BASH antoniovandre_mathgame
    Um simples jogo de operações aritméticas escrito em BASH.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 8
    MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9

    gsl-pt_BR

    manual da gsl em pt-BR

    Manual da Gnu Scientific Library em português do Brasil. O manual possui código fonte no formato texinfo.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 10
    PortableLatex is LaTeX without installation; you download and use it straight away, without changing a byte of your system. Plus a complete suite of apps to comfortably edit, view, compile and handle latex or tex projects, glued by some scripting.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    Travel Market Simulator
    That project aims at studying and comparing typical airline IT methods, for instance RM-related algorithms. It works from a Unix/Linux/Mac command-line, and exposes basic APIs. It is being developed in C++, with Python wrappers for some components.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    memesa-tools

    memesa-tools

    A collection of tools used in the enumeration of solution spaces

    This collection of tools forms the basis of a pipeline for the complete enumeration of the number of solutions present in a model that maximizes a single objective function.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    This is an opensource project for the calculation of the mathematical constant Pi. If you are a mathematician or programer please contribute ideas or code for this project. Non professionals are also welcome to contribute.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    FrAid(FRactal AID) is an interface to Java, allowing it to proc. math. data(functions/equations). A compl. standalone system utilizing the FrAid prog. lang. is available(no need to be Java programmer to use it!). Use instead of Matlab. High res. graphics
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    GIT quick statistics

    GIT quick statistics

    An efficient way to access various statistics in git repository

    git-quick-stats is a simple and efficient way to access various statistics in a git repository. Any git repository may contain tons of information about commits, contributors, and files. Extracting this information is not always trivial, mostly because there are a gadzillion options to a gadzillion git commands. For those who prefer to utilize command-line options, git-quick-stats also has a non-interactive mode supporting both short and long options. You can change to the legacy color scheme by toggling the variable _MENU_THEME between default and legacy. You can set variable _GIT_LIMIT for limited output. It will affect the "changelogs" and "branch tree" options. You can also exclude files from the stats. Note that it works with any alphanumeric, glob, or regex that git respects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    MLPACK is a C++ machine learning library with emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and flexibility for expert users. * More info + downloads: https://mlpack.org * Git repo: https://github.com/mlpack/mlpack
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    superseded by SgpDec http://sgpdec.sf.net Java implementation of the holonomy algorithm for the algebraic hierarchical decomposition of finite state automata.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    The goal of this project is to develop a simulator for the drafts of professional sports leagues.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    SPHear is a coupled smoothed particle hydrodynamics (SPH), finite element (FE) fluid-solid interaction analysis code for dynamic problems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    An SQL handler to interface multiple databases data to the OpeNDAP Hyrax (BES) server. Written in C++, it uses unixODBC to query DB and can be dynamically extended to use proprietary ODBC API driver in many easy ways. It is bundled with scripts to ge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Sound Orgy is a suite of command line tools for the purpose of sound production and modification as well other misc sound related functons. Sound Orgy consists of components which use command line piping to connect to each other much like patch cords.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    A set of Unix command line tools for quick and convenient batch processing of tabular text files (a.k.a., tab-delimited, csv, or flat file format) with a header line. Provides delimiter and compression detection, column reference by name. * tblmap: per-line ("map") computation: derive columns through an expression, delete, reorder, filter rows. * tblred: compute ("reduce") aggregations (e.g., sum, average) over groups defined by key columns. * tbldesc: Summarize columns in file (e.g., proportion of character/numeric values, min/mean/median/max, missing values, correlation with a target column). * tbljoin: Relational join without the need of pre-sorting and column matching. * ... See HostedApps/MediaWiki for examples.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    The Thot toolkit repository has moved to http://daormar.github.io/thot/ Thot is a toolkit for statistical machine translation. The new Thot toolkit includes fully automatic and interactive machine translation, incremental training of statistical models, parallel estimation, ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.