Open Parser for Systematic IUPAC Nomenclature. Chemical name to structure conversion
Repository Index
47,133 repositories indexed
25–48 of 61 · Most stars
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
D3 plugin which computes a treemap based on a Voronoi tesselation
:spider_web: Simple mesh generator inspired by distmesh.
- mesh
- finite-elements
- mathematics
- mesh-generation
A collection of useful mathematical functions in Elixir with a slant towards statistics, linear algebra and machine learning
:triangular_ruler: Orthogonal polynomials in all shapes and sizes.
- python
- mathematics
- engineering
- physics
Schema and data analyzer for MongoDB written in Go.
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
OFF, Open source Finite volume Fluid dynamics code
- fluid-dynamics
- fortran
- oop
- cfd
:spider_web: Compute interesting points, areas, and volumes in simplex meshes of any dimension.
- mathematics
- python
- pypi
- voronoi-diagram
:dart: Accurate sums and dot products for Python.
- mathematics
- numerical-methods
- engineering
- accuracy
A .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.
- mathematical-modelling
- automatic-differentiation
- mathematics
- math
An Elixir library for performing 2D and 3D mathematics.
- elixir-lang
- matrices
- vector
- graphics
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
An open-source mathematical tire modelling library
C# math expression library with symbolic computation support
- csharp
- dotnet
- expression-parser
- math
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
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
A library of Actionscript 3 classes for 3D Mathematics.
Updated infix.cl of the CMU AI repository, originally written by Mark Kantrowitz
- infix-notation
- common-lisp
- 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
📐✏️ Slides from my talk on Mathematics of Animation @ .concat() 2018
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).