Workbench for practical machine learning in Ruby.
- machine-learning
- machine-learning-algorithms
- neural-network
- neural-networks
Repository Index
47,133 repositories indexed
97–107 of 107 · Most stars
An effort to consolidate the needs and plans of individuals and organizations using Common Lisp to meet their numerical and scientific computing needs.
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
Minimization algorithms on pure Ruby
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
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
A collection of matrix handling scripts
XitoSBML - the spatial SBML plugin for ImageJ
- sbml
- systems-biology
- spatial-sbml-plugin
- imagej
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
Port of godot-math to D: vectors, matrices, rectangles, points, AABBs, planes, frustums.
A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).
- convex-optimization
- linear-programming
- optimization
- quadratic-programming