Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Repository Index
47,133 repositories indexed
169–192 of 233 · Most stars
NeoDTI: Neural integration of neighbor information from a heterogeneous network for discovering new drug-target interactions
- computational-biology
- bioinformatics
- graph-convolution
- deep-learning
MAT is library for working with multi-dimensional arrays which supports efficient interfacing to foreign and CUDA code. BLAS and CUBLAS bindings are available.
👩💻 Matrix and other math, accelerated by WebGPU and WASM
A matrix package for common lisp building on work by Mark Hoemmen, Evan Monroig, Tamas Papp and Rif.
An open-source mathematical tire modelling library
Lua package that includes functions for Fast Fourier Transformations.
a simple vector library for Lua based on the PVector class from processing
- lua
- love2d
- vectors
- game-development
C# math expression library with symbolic computation support
- csharp
- dotnet
- expression-parser
- math
Elixir library implementing a parallel matrix multiplication algorithm and other utilities for working with matrices. Used for benchmarking computationally intensive concurrent code.
common lisp library providing common math functions used in games
SIMD powered simple-math numerical operations on arrays for Common Lisp through CFFI [still experimental]
- lisp
- common-lisp
- scientific-computing
- simd
Efficient and expressive arrayed vector math library with multi-threading and CUDA support in Common Lisp.
Linear algebra library based on LAPACK
- lapack
- matrix
- crystal
- linear-algebra
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
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
MCP server for spatial transcriptomics analysis through natural language interfaces.
- bioinformatics
- cell-communication
- deconvolution
- machine-learning
A library of Actionscript 3 classes for 3D Mathematics.
A cheminformatics extension for the SQLAlchemy database toolkit.
Updated infix.cl of the CMU AI repository, originally written by Mark Kantrowitz
- infix-notation
- common-lisp
- mathematics
A matrix library for common lisp
Multi-stage Riemannian flow matching for physically valid molecular docking, with GNINA scoring, PoseBusters filtering, CLI inference, and benchmarks.
- alphafold3
- docking
- drug-design
- drug-discovery
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.