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
121–144 of 148 · 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
👩💻 Matrix and other math, accelerated by WebGPU and WASM
Research experiments exploring uncommon quant techniques.
- analysis
- jupyter-notebook
- python
- quant
Lua package that includes functions for Fast Fourier Transformations.
Zero-dependency 128-bit fixed-point decimal for Go. Exact SQL NUMERIC / PostgreSQL semantics, no heap allocation, no panics — built for money, ledgers and banking arithmetic.
- decimal
- fixed-point
- go
- golang
MCP server for spatial transcriptomics analysis through natural language interfaces.
- bioinformatics
- cell-communication
- deconvolution
- machine-learning
A cheminformatics extension for the SQLAlchemy database toolkit.
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
NASA/JPL SPICE Toolkit for C – patched for cross-platform compatibility
- astronomy
- astronomical-algorithms
- celestial-mechanics
- nasa
Multi-platform quantum programming library, written in TypeScript, good for JS/NodeJS
- quantum-computing
- quantum-programming-language
- quantum
🛫 Fixed-Point Decimals
- encoding
- numerics
- performance
- go
Fast, deterministic cell-type deconvolution for million-bin spatial transcriptomics
- bioinformatics
- cell-type-deconvolution
- computational-biology
- deconvolution
Java Scientific Computing Library - Signal Processing, FFT, Filters, PSD, DCT, SciPy-like APIs for JVM & Android used in Machine Learning and Data Science.
- android
- java
- python
- scipy
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
chemmodlab: A Cheminformatics Modeling Laboratory for Fitting and Assessing Machine Learning Models
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
UV-first benchmark for protein-ligand docking with reproducible annotation, pocket similarity, and HPC workflows.
- benchmark
- bioinformatics
- cheminformatics
- computational-chemistry
Simple, reliable .NET libraries covering numbers, geometry and data structures
- collections
- geometry
- numerics
- csharp
A Darksky.net (formerly forecast.io) weather API client for Elixir
- darksky
- forecast
- elixir
- weather
C++ modules for scalar, vector and complex math. And maths.
- cpp20
- math
- mathematics
- vectors
go-glmatrix is a golang version of glMatrix, which is "designed to perform vector and matrix operations stupidly fast".
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
Simple webapp for generating small ligand conformers
- computational-biology
- computational-chemistry
- conformer-generation
- rdkit