Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more
- go
- golang
- scientific-computing
- data-analysis
Repository Index
58,632 visible repositories in the index
1–23 of 23 · Most stars
Web simulation of Ubuntu 20.04, made using NEXT.js & tailwind CSS
- reactjs
- tailwindcss
- ubuntu2004
- personal-portfolio-website
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript
- optimization
- nonlinear
- derivatives
- code-generation
This package contains deep learning models and related scripts for RoseTTAFold
A set of documented functions for simulating the performance of photovoltaic energy systems.
- solar-energy
- python
- renewable-energy
- renewables
Scientific workflow engine designed for simplicity & scalability. Trivially transition between one off use cases to massive scale production environments
RBDL is a C++ library that contains some essential and efficient rigid body dynamics algorithms such as the Articulated Body Algorithm (ABA) for forward dynamics, Recursive Newton-Euler Algorithm (RNEA) for inverse dynamics, the Composite Rigid Body Algorithm (CRBA) for the efficient computation of the joint space inertia matrix and is also able to compute forward dynamics with external contact constraints and collision impulses. Furthermore it has some basic support for forward and inverse kinematics.
- articulated-body-algorithm
- inverse-dynamics
- forward-dynamics
- multi-body-dynamics
Module for statistical learning, with a particular emphasis on time-dependent modelling
- machine-learning
- python
- point-process
- optimization
Benchmarks for generative chemistry
The repository host gives no description.
Collection of self-contained header-only libraries for C++17
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Allocators, I/O streams, math, geometry, image and audio processing for D
- utility-library
- dlang
- linear-algebra
- computational-geometry
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Optimising chemical reactions using machine learning
- chemistry
- machine-learning
- optimization
- bayesian-optimization
code to run sei and obtain sei and sequence class predictions
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
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
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.
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
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
This is a class module in beta state to implement computations with large integers and reals/rationals numbers, while proposing representation of numerical values as scientific notation, allowing to obtain several cohorts for the same number (a lot of fun!).
- arithmetic
- biginteger
- biginteger-library
- fractional