Neovim plugin to calculate mathematical expressions within a buffer with visual mode, functions and variable support.
Repository Index
47,133 repositories indexed
25–40 of 40 · Most stars
An open-source mathematical tire modelling library
CMake module for Mathematica.
- mathematica
- cmake
- mathlink
- librarylink
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
A powerful library extending VBA with over 100 functions for math, stats, finance, and data manipulation. It supports matrix operations, and user-defined functions, enhancing automation and analysis within Microsoft Office and LibreOffice environments for data management, financial calculations, an more.
- equation-systems
- mathematical-expression-parser
- mathematical-expressions-evaluator
- determinant-calculation
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
A collection of general utility and mathematical functions for GameMaker Studio 2 (Version 2.3).
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
An Elixir library for parsing and evaluating mathematical expressions
Object-Based mathematical operations in VBA
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Conflict-free merge for DataFrames, JSON, ML models & distributed agents — powered by CRDTs. The first merge library where every operation is mathematically guaranteed to converge.
- collaborative-editing
- conflict-resolution
- crdt
- data-engineering
Single-header C++ JIT compiler/evaluator for mathematical expressions
- expression-evaluator
- expression-parser
- formula-engine
- formula-evaluator
A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).
- convex-optimization
- linear-programming
- optimization
- quadratic-programming