Open Source Unix Shell Mathematics Software

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.

xLaDe is a simple Python-based CLI tool built for executing and preserving Lean 4 projects. It is an ecosystem-level tool, which records the toolchain and other metadata of projects and allows the reconstruction and rebuilding of that exact environment later. Lean 4 undergoes rapid development, which can introduce backward-compatibility issues. This problem becomes more difficult as the versions accumulate over time. xLaDe is built to mitigate the practical issues of backward-compatibility problems and improve ecosystem-level tooling for the Lean 4 theorem prover. Instead of directly solving backward-compatibility issues by storing every version of Lean 4 and other tools or providing cross-version compatibility, xLaDe tries to store sufficient environment metadata such as toolchains, dependencies, and other context, and then recreates the environment for running Lean 4 projects upon request, also termed as experiments in xLaDe.

This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.

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.

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.

Spar is a math-oriented scripting language. It is simple, clean, and extensible.

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

Um simples jogo de operações aritméticas escrito em BASH.

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.

SPHear is a coupled smoothed particle hydrodynamics (SPH), finite element (FE) fluid-solid interaction analysis code for dynamic problems.

Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.

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.

Fractals generator with powerful functionality. E-mail: programmingspecial@gmail.com

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

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

Please view project website before downloading.

superseded by SgpDec http://sgpdec.sf.net Java implementation of the holonomy algorithm for the algebraic hierarchical decomposition of finite state automata.

The goal of this project is to develop a simulator for the drafts of professional sports leagues.

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.

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

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.

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.

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, ...

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.

Web Assisted Teaching Environment. Software system for creating, updating, distributing, and reusing Electronic Teaching Resources, (particularly Multiple Choices Quizzes).