autodiff
A .NET library that provides fast, accurate and automatic differentiation (compu
C#82mit
last year
autodiffautomatic-differentiationgradient
gograph
A golang generic graph library that provides mathematical graph-theory and algor
Go43apache-2.0
3 months ago
datastructuregenericgeneric-graph
purescript-presto
Write Apps like Mathematical Equations!
PureScript204other
10 months ago
app-developmentfunctional-programmingnative
abacus
Parses and evaluates mathematical expressions in Elixir. Inspired by math.js
Elixir82mit
2 years ago
dslelixirmath
understanding-math
Links to resources talking about how to learn & understand mathematics, and math
989
11 months ago
linksmathematicsunderstanding
Expression
A cross-platform Swift library for evaluating mathematical expressions at runtim
Swift809mit
4 months ago
Numerix
A collection of useful mathematical functions in Elixir with a slant towards sta
Elixir183mit
3 years ago
linear-algebramachine-learningmath
xaml-math
A collection of .NET libraries for rendering mathematical formulae using the LaT
C#587mit
5 months ago
dotnetformulahacktoberfest
analysis
Mathematical Components compliant Analysis Library
Coq167other
5 months ago
analysiscoqmathcomp
math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=
Coq158mit
6 months ago
coqcoq-cicoq-library
sprites-as-a-service
Generate your personal 8-bit avatars using Cellular Automata, a mathematical mod
Vue296mit
6 months ago
avatar-generatorcellular-automatafastapi
GeoEnergyMath
Software libraries for solving models described in Mathematical GeoEnergy (Wiley
Ada7
9 months ago
mathematics-of-animation
📐✏️ Slides from my talk on Mathematics of Animation @ .concat() 2018
CSS34
6 years ago
tarjan
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly
Coq11
9 months ago
coqmathcompmathcomp-ci
wpf-math
.NET library for rendering mathematical formulae using the LaTeX typsetting styl
C#454mit
2 years ago
dotnetformulalatex
waterproof
Waterproof is an educational environment for writing mathematical proofs in inte
JavaScript27lgpl-2.1
7 months ago
coqserapi
math-php
Powerful modern math library for PHP: Features descriptive statistics and regres
PHP2277mit
6 months ago
algebracombinatoricsdistributions
algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
Coq28
6 months ago
coqelpimathcomp
tarjan
Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssr
Coq9
last year
coqmathcompssreflect
Optimus
Optimus is a mathematical programming library for Scala.
Scala142lgpl-3.0
2 months ago
algebrainteger-programminglinear-programming
Theano
Theano was a Python library that allows you to define, optimize, and evaluate ma
Python9846other
4 months ago
mathpaqs
Mathpaqs: a collection of mathematical packages in pure Ada
Ada10
6 months ago
adaada-languageada-library
coqtail-math
Coqtail is a library of mathematical theorems and tools proved inside the Coq pr
Coq13other
last year
complex-analysiscoqreal-analysis
coq
Coq is a formal proof management system. It provides a formal language to write
OCaml4576lgpl-2.1
last month
coqdependent-typesproof-assistant
Amplifier.NET
Amplifier allows .NET developers to easily run complex applications with intensi
C#164mit
last year
compilercuda-kernelsgpgpu
adaptive
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical fu
Python1084bsd-3-clause
5 months ago
active-learningadaptiveadaptive-learning
graphmath
An Elixir library for performing 2D and 3D mathematics.
Elixir77unlicense
6 months ago
elixirelixir-langgraphics
TriRose
Mathematically generate unique and intricate rose graphs (rhodonea curves).
Java8gpl-3.0
7 years ago
ods
Mission: To provide a high-quality open content data structures textbook that is
TeX1179other
2 years ago
data-structurestextbook
RUTMath
Open source (GPL) application to help learning mathematics for early school chil
Kotlin5
11 days ago
gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintain
Coq24mit
6 months ago
bourbakicoqdocker-coq-action
flutter_tex
A Flutter Package to render Mathematics, Physics and Chemistry Equations based o
JavaScript249other
4 months ago
equationsflutterkatex
eslint-plugin-padding
An ESLint plugin regarding any and all spacing between statements.
TypeScript4gpl-3.0
3 years ago
eslinteslint-pluginpadding
awesome-theoretical-computer-science
The interdicplinary of Mathematics and Computer Science, Distinguisehed by its e
Python578cc0-1.0
3 months ago
awesomeawesome-listcomputer-science
awesome-math
A curated list of awesome mathematics resources
Python8101
last month
awesomeawesome-listlecture-notes
Math-for-CS-solutions
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for C
TeX92other
8 months ago
calculuscomputer-sciencecounting
machine-learning-octave
🤖 MatLab/Octave examples of popular machine learning algorithms with code examp
MATLAB817mit
4 years ago
clusteringlinear-regressionmachine-learning
UniMath
This coq library aims to formalize a substantial body of mathematics using the u
Coq876other
5 months ago
coqcoq-libraryfoundations
cl-patterns
Library for writing patterns to generate or process (a)musical sequences of math
Common Lisp73mit
2 months ago
audiocommon-lispeffects
C
Collection of various algorithms in mathematics, machine learning, computer scie
C17813gpl-3.0
2 months ago
algorithm-challengesalgorithm-competitionsalgorithms
Probabilistic-Programming-and-Bayesian-Methods-for-Hackers
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probab
Jupyter Notebook26218mit
5 months ago
bayesian-methodsdata-sciencejupyter-notebook
gyroflow
Description One-Tap Sensor Logger in Your Pocket with Watch, Streaming, Bluet
Rust5923gpl-3.0
2 months ago
fpvgoprogpu
autodiff
A .NET library that provides fast, accurate and automatic differentiation (compu
C#82mit
last year
autodiffautomatic-differentiationgradient
gograph
A golang generic graph library that provides mathematical graph-theory and algor
Go43apache-2.0
3 months ago
datastructuregenericgeneric-graph
purescript-presto
Write Apps like Mathematical Equations!
PureScript204other
10 months ago
app-developmentfunctional-programmingnative
abacus
Parses and evaluates mathematical expressions in Elixir. Inspired by math.js
Elixir82mit
2 years ago
dslelixirmath
understanding-math
Links to resources talking about how to learn & understand mathematics, and math
989
11 months ago
linksmathematicsunderstanding
Expression
A cross-platform Swift library for evaluating mathematical expressions at runtim
Swift809mit
4 months ago
Numerix
A collection of useful mathematical functions in Elixir with a slant towards sta
Elixir183mit
3 years ago
linear-algebramachine-learningmath
xaml-math
A collection of .NET libraries for rendering mathematical formulae using the LaT
C#587mit
5 months ago
dotnetformulahacktoberfest
analysis
Mathematical Components compliant Analysis Library
Coq167other
5 months ago
analysiscoqmathcomp
math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=
Coq158mit
6 months ago
coqcoq-cicoq-library
sprites-as-a-service
Generate your personal 8-bit avatars using Cellular Automata, a mathematical mod
Vue296mit
6 months ago
avatar-generatorcellular-automatafastapi
GeoEnergyMath
Software libraries for solving models described in Mathematical GeoEnergy (Wiley
Ada7
9 months ago
mathematics-of-animation
📐✏️ Slides from my talk on Mathematics of Animation @ .concat() 2018
CSS34
6 years ago
tarjan
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly
Coq11
9 months ago
coqmathcompmathcomp-ci
wpf-math
.NET library for rendering mathematical formulae using the LaTeX typsetting styl
C#454mit
2 years ago
dotnetformulalatex
waterproof
Waterproof is an educational environment for writing mathematical proofs in inte
JavaScript27lgpl-2.1
7 months ago
coqserapi
math-php
Powerful modern math library for PHP: Features descriptive statistics and regres
PHP2277mit
6 months ago
algebracombinatoricsdistributions
algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
Coq28
6 months ago
coqelpimathcomp
tarjan
Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssr
Coq9
last year
coqmathcompssreflect
Optimus
Optimus is a mathematical programming library for Scala.
Scala142lgpl-3.0
2 months ago
algebrainteger-programminglinear-programming
Theano
Theano was a Python library that allows you to define, optimize, and evaluate ma
Python9846other
4 months ago
mathpaqs
Mathpaqs: a collection of mathematical packages in pure Ada
Ada10
6 months ago
adaada-languageada-library
coqtail-math
Coqtail is a library of mathematical theorems and tools proved inside the Coq pr
Coq13other
last year
complex-analysiscoqreal-analysis
coq
Coq is a formal proof management system. It provides a formal language to write
OCaml4576lgpl-2.1
last month
coqdependent-typesproof-assistant
Amplifier.NET
Amplifier allows .NET developers to easily run complex applications with intensi
C#164mit
last year
compilercuda-kernelsgpgpu
adaptive
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical fu
Python1084bsd-3-clause
5 months ago
active-learningadaptiveadaptive-learning
graphmath
An Elixir library for performing 2D and 3D mathematics.
Elixir77unlicense
6 months ago
elixirelixir-langgraphics
TriRose
Mathematically generate unique and intricate rose graphs (rhodonea curves).
Java8gpl-3.0
7 years ago
ods
Mission: To provide a high-quality open content data structures textbook that is
TeX1179other
2 years ago
data-structurestextbook
RUTMath
Open source (GPL) application to help learning mathematics for early school chil
Kotlin5
11 days ago
gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintain
Coq24mit
6 months ago
bourbakicoqdocker-coq-action
flutter_tex
A Flutter Package to render Mathematics, Physics and Chemistry Equations based o
JavaScript249other
4 months ago
equationsflutterkatex
eslint-plugin-padding
An ESLint plugin regarding any and all spacing between statements.
TypeScript4gpl-3.0
3 years ago
eslinteslint-pluginpadding
awesome-theoretical-computer-science
The interdicplinary of Mathematics and Computer Science, Distinguisehed by its e
Python578cc0-1.0
3 months ago
awesomeawesome-listcomputer-science
awesome-math
A curated list of awesome mathematics resources
Python8101
last month
awesomeawesome-listlecture-notes
Math-for-CS-solutions
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for C
TeX92other
8 months ago
calculuscomputer-sciencecounting
machine-learning-octave
🤖 MatLab/Octave examples of popular machine learning algorithms with code examp
MATLAB817mit
4 years ago
clusteringlinear-regressionmachine-learning
UniMath
This coq library aims to formalize a substantial body of mathematics using the u
Coq876other
5 months ago
coqcoq-libraryfoundations
cl-patterns
Library for writing patterns to generate or process (a)musical sequences of math
Common Lisp73mit
2 months ago
audiocommon-lispeffects
C
Collection of various algorithms in mathematics, machine learning, computer scie
C17813gpl-3.0
2 months ago
algorithm-challengesalgorithm-competitionsalgorithms
Probabilistic-Programming-and-Bayesian-Methods-for-Hackers
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probab
Jupyter Notebook26218mit
5 months ago
bayesian-methodsdata-sciencejupyter-notebook
gyroflow
Description One-Tap Sensor Logger in Your Pocket with Watch, Streaming, Bluet
Rust5923gpl-3.0
2 months ago
fpvgoprogpu