A .NET library that provides fast, accurate and automatic differentiation (compu

C#92mit

2 years ago

autodiffautomatic-differentiationgradient

Mathematical operations for JAX pytrees

Python189apache-2.0

6 months ago

jaxtree-math

A golang generic graph library that provides mathematical graph-theory and algor

Go55apache-2.0

4 months ago

datastructuregenericgeneric-graph

The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs

Coq30lgpl-3.0

29 days ago

Write Apps like Mathematical Equations!

PureScript217other

4 months ago

app-developmentfunctional-programmingnative

Swift Custom Operators for Mathematical Notation

Swift1155mit

4 years ago

mathnotationoperator

Links to resources talking about how to learn & understand mathematics, and math

1071

2 days ago

linksmathematicsunderstanding

An open-source mathematical tire modelling library

Python50mit

4 years ago

Waterproof is an educational environment for writing mathematical proofs in inte

JavaScript35lgpl-2.1

8 months ago

coqserapi

Generate your personal 8-bit avatars using Cellular Automata, a mathematical mod

Vue306mit

last year

avatar-generatorcellular-automatafastapi

A mathematical puzzle game

Dart74gpl-3.0

10 months ago

f-droidfdroidflutter

📐✏️ Slides from my talk on Mathematics of Animation @ .concat() 2018

CSS34

7 years ago

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly

Coq13

last year

coqmathcompmathcomp-ci

a cheat-sheet for mathematical notation in code form

14994mit

3 years ago

A collection of .NET libraries for rendering mathematical formulae using the LaT

C#634mit

6 months ago

dotnetformulahacktoberfest

Cephes Mathematical Functions library wrapped for Torch

C47other

9 years ago

Powerful modern math library for PHP: Features descriptive statistics and regres

PHP2334mit

7 months ago

algebracombinatoricsdistributions

Ring, field, lra, nra, and psatz tactics for Mathematical Components

Coq32

2 months ago

coqelpimathcomp

Coqtail is a library of mathematical theorems and tools proved inside the Coq pr

Coq15other

4 months ago

complex-analysiscoqreal-analysis

Coq is a formal proof management system. It provides a formal language to write

OCaml4836lgpl-2.1

27 days ago

coqdependent-typesproof-assistant

Amplifier allows .NET developers to easily run complex applications with intensi

C#171mit

2 years ago

compilercuda-kernelsgpgpu

:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical fu

Python1124bsd-3-clause

4 months ago

active-learningadaptiveadaptive-learning

An Elixir library for performing 2D and 3D mathematics.

Elixir79unlicense

last year

elixirelixir-langgraphics

Mathematically generate unique and intricate rose graphs (rhodonea curves).

Java8gpl-3.0

7 years ago

🧮 Path to a free self-taught education in Mathematics!

4503mit

4 days ago

Mission: To provide a high-quality open content data structures textbook that is

TeX1210other

3 years ago

data-structurestextbook

Open source (GPL) application to help learning mathematics for early school chil

Kotlin6

7 months ago

The interdicplinary of Mathematics and Computer Science, Distinguisehed by its e

Python712cc0-1.0

18 days ago

awesomeawesome-listcomputer-science

A curated list of awesome mathematics resources

Python8885

8 days ago

awesomeawesome-listlecture-notes

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for C

TeX139other

3 months ago

calculuscomputer-sciencecounting

🤖 MatLab/Octave examples of popular machine learning algorithms with code examp

MATLAB853mit

4 years ago

clusteringlinear-regressionmachine-learning

Library for writing patterns to generate or process (a)musical sequences of math

Common Lisp77mit

last month

audiocommon-lispeffects

OpenGL Mathematics (GLM)

C++9240other

3 months ago

cppcpp-libraryglm

Collection of various algorithms in mathematics, machine learning, computer scie

C19335gpl-3.0

4 months ago

algorithm-challengesalgorithm-competitionsalgorithms

Description Life Saver is a highly configurable, artistic implementation of C

Swift211mpl-2.0

3 years ago

abstractartartificial-life

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probab

Jupyter Notebook26823mit

5 months ago

bayesian-methodsdata-sciencejupyter-notebook

A .NET library that provides fast, accurate and automatic differentiation (compu

C#92mit

2 years ago

autodiffautomatic-differentiationgradient

Mathematical operations for JAX pytrees

Python189apache-2.0

6 months ago

jaxtree-math

A golang generic graph library that provides mathematical graph-theory and algor

Go55apache-2.0

4 months ago

datastructuregenericgeneric-graph

The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs

Coq30lgpl-3.0

29 days ago

Write Apps like Mathematical Equations!

PureScript217other

4 months ago

app-developmentfunctional-programmingnative

Swift Custom Operators for Mathematical Notation

Swift1155mit

4 years ago

mathnotationoperator

Parses and evaluates mathematical expressions in Elixir. Inspired by math.js

Elixir85mit

6 months ago

dslelixirmath

Links to resources talking about how to learn & understand mathematics, and math

1071

2 days ago

linksmathematicsunderstanding

A cross-platform Swift library for evaluating mathematical expressions at runtim

Swift830mit

4 months ago

An open-source mathematical tire modelling library

Python50mit

4 years ago

Waterproof is an educational environment for writing mathematical proofs in inte

JavaScript35lgpl-2.1

8 months ago

coqserapi

Generate your personal 8-bit avatars using Cellular Automata, a mathematical mod

Vue306mit

last year

avatar-generatorcellular-automatafastapi

A mathematical puzzle game

Dart74gpl-3.0

10 months ago

f-droidfdroidflutter

📐✏️ Slides from my talk on Mathematics of Animation @ .concat() 2018

CSS34

7 years ago

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly

Coq13

last year

coqmathcompmathcomp-ci

a cheat-sheet for mathematical notation in code form

14994mit

3 years ago

A collection of .NET libraries for rendering mathematical formulae using the LaT

C#634mit

6 months ago

dotnetformulahacktoberfest

Cephes Mathematical Functions library wrapped for Torch

C47other

9 years ago

Powerful modern math library for PHP: Features descriptive statistics and regres

PHP2334mit

7 months ago

algebracombinatoricsdistributions

Ring, field, lra, nra, and psatz tactics for Mathematical Components

Coq32

2 months ago

coqelpimathcomp

Theano was a Python library that allows you to define, optimize, and evaluate ma

Python9907other

10 months ago

Coqtail is a library of mathematical theorems and tools proved inside the Coq pr

Coq15other

4 months ago

complex-analysiscoqreal-analysis

Coq is a formal proof management system. It provides a formal language to write

OCaml4836lgpl-2.1

27 days ago

coqdependent-typesproof-assistant

Amplifier allows .NET developers to easily run complex applications with intensi

C#171mit

2 years ago

compilercuda-kernelsgpgpu

:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical fu

Python1124bsd-3-clause

4 months ago

active-learningadaptiveadaptive-learning

An Elixir library for performing 2D and 3D mathematics.

Elixir79unlicense

last year

elixirelixir-langgraphics

Mathematically generate unique and intricate rose graphs (rhodonea curves).

Java8gpl-3.0

7 years ago

🧮 Path to a free self-taught education in Mathematics!

4503mit

4 days ago

Mission: To provide a high-quality open content data structures textbook that is

TeX1210other

3 years ago

data-structurestextbook

Open source (GPL) application to help learning mathematics for early school chil

Kotlin6

7 months ago

The interdicplinary of Mathematics and Computer Science, Distinguisehed by its e

Python712cc0-1.0

18 days ago

awesomeawesome-listcomputer-science

A curated list of awesome mathematics resources

Python8885

8 days ago

awesomeawesome-listlecture-notes

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for C

TeX139other

3 months ago

calculuscomputer-sciencecounting

🤖 MatLab/Octave examples of popular machine learning algorithms with code examp

MATLAB853mit

4 years ago

clusteringlinear-regressionmachine-learning

Library for writing patterns to generate or process (a)musical sequences of math

Common Lisp77mit

last month

audiocommon-lispeffects

OpenGL Mathematics (GLM)

C++9240other

3 months ago

cppcpp-libraryglm

Collection of various algorithms in mathematics, machine learning, computer scie

C19335gpl-3.0

4 months ago

algorithm-challengesalgorithm-competitionsalgorithms

Description Life Saver is a highly configurable, artistic implementation of C

Swift211mpl-2.0

3 years ago

abstractartartificial-life

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probab

Jupyter Notebook26823mit

5 months ago

bayesian-methodsdata-sciencejupyter-notebook