graphmath
An Elixir library for performing 2D and 3D mathematics.
Elixir77unlicense
6 months ago
elixirelixir-langgraphics
understanding-math
Links to resources talking about how to learn & understand mathematics, and math
989
12 months ago
linksmathematicsunderstanding
RUTMath
Open source (GPL) application to help learning mathematics for early school chil
Kotlin5
21 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
awesome-theoretical-computer-science
The interdicplinary of Mathematics and Computer Science, Distinguisehed by its e
Python601cc0-1.0
last month
awesomeawesome-listcomputer-science
awesome-math
A curated list of awesome mathematics resources
Python8214
2 months ago
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
UniMath
This coq library aims to formalize a substantial body of mathematics using the u
Coq876other
6 months ago
coqcoq-libraryfoundations
C
Collection of various algorithms in mathematics, machine learning, computer scie
C18133gpl-3.0
7 days 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
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
Expression
A cross-platform Swift library for evaluating mathematical expressions at runtim
Swift809mit
4 months ago
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
10 months ago
tarjan
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly
Coq11
9 months ago
coqmathcompmathcomp-ci
xaml-math
A collection of .NET libraries for rendering mathematical formulae using the LaT
C#587mit
5 months ago
dotnetformulahacktoberfest
waterproof
Waterproof is an educational environment for writing mathematical proofs in inte
JavaScript27lgpl-2.1
8 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
analysis
Mathematical Components compliant Analysis Library
Coq167other
6 months ago
analysiscoqmathcomp
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
cl-patterns
Library for writing patterns to generate or process (a)musical sequences of math
Common Lisp73mit
2 months ago
audiocommon-lispeffects
gyroflow
Description One-Tap Sensor Logger in Your Pocket with Watch, Streaming, Bluet
Rust5923gpl-3.0
2 months ago
fpvgoprogpu
mathpaqs
Mathpaqs: a collection of mathematical packages in pure Ada
Ada10
7 months ago
adaada-languageada-library
coq
Coq is a formal proof management system. It provides a formal language to write
OCaml4576lgpl-2.1
2 months ago
coqdependent-typesproof-assistant
adaptive
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical fu
Python1084bsd-3-clause
6 months ago
active-learningadaptiveadaptive-learning
mathematics-of-animation
📐✏️ Slides from my talk on Mathematics of Animation @ .concat() 2018
CSS34
6 years ago
machine-learning-octave
🤖 MatLab/Octave examples of popular machine learning algorithms with code examp
MATLAB817mit
4 years ago
clusteringlinear-regressionmachine-learning
autodiff
A .NET library that provides fast, accurate and automatic differentiation (compu
C#82mit
last year
autodiffautomatic-differentiationgradient
TriRose
Mathematically generate unique and intricate rose graphs (rhodonea curves).
Java8gpl-3.0
7 years ago
abacus
Parses and evaluates mathematical expressions in Elixir. Inspired by math.js
Elixir82mit
2 years ago
dslelixirmath
ods
Mission: To provide a high-quality open content data structures textbook that is
TeX1179other
2 years ago
data-structurestextbook
Numerix
A collection of useful mathematical functions in Elixir with a slant towards sta
Elixir183mit
3 years ago
linear-algebramachine-learningmath
wpf-math
.NET library for rendering mathematical formulae using the LaTeX typsetting styl
C#454mit
2 years ago
dotnetformulalatex
tarjan
Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssr
Coq9
last year
coqmathcompssreflect
eslint-plugin-padding
An ESLint plugin regarding any and all spacing between statements.
TypeScript4gpl-3.0
3 years ago
eslinteslint-pluginpadding
coqtail-math
Coqtail is a library of mathematical theorems and tools proved inside the Coq pr
Coq13other
last year
complex-analysiscoqreal-analysis
Amplifier.NET
Amplifier allows .NET developers to easily run complex applications with intensi
C#164mit
last year
compilercuda-kernelsgpgpu