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
49–62 of 62 · Most stars
The repository host gives no description.
A library of Actionscript 3 classes for 3D Mathematics.
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
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
Single-cell fluorescence microscopy data analysis
- microscopy
- fluorescence-microscopy-imaging
Accurate segmentation of bacterial microscope images using deep learning synthetically generated image data.
- microscopy
- image-processing
- segmentation
- biology
An ordinary differential equation solving library in golang.
- ode
- solving-library
- multivariate
- differential-equations
Quantum randomness source using the ANU hardware QRNG
- random-number-generators
- quantum-mechanics
Simple, reliable .NET libraries covering numbers, geometry and data structures
- collections
- geometry
- numerics
- csharp
a fairly simple solar system simulator
Simple webapp for generating small ligand conformers
- computational-biology
- computational-chemistry
- conformer-generation
- rdkit
Metric stream related math functions.