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

C#92mit

2 years ago

autodiffautomatic-differentiationgradient

Mathematical operations for JAX pytrees

Python194apache-2.0

14 days ago

jaxtree-math

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

Go55apache-2.0

5 months ago

datastructuregenericgeneric-graph

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

Coq30lgpl-3.0

2 months ago

Write Apps like Mathematical Equations!

PureScript217other

5 months ago

app-developmentfunctional-programmingnative

Swift Custom Operators for Mathematical Notation

Swift1156mit

4 years ago

mathnotationoperator

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

Elixir85mit

7 months ago

dslelixirmath

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

1076

27 days ago

linksmathematicsunderstanding

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

Swift832mit

5 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

9 months ago

coqserapi

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

Vue307mit

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

15049mit

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

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

Coq32

3 months ago

coqelpimathcomp

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

Python9905other

11 months ago

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

OCaml4836lgpl-2.1

2 months 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

5 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!

4592mit

29 days ago

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

TeX1212other

3 years ago

data-structurestextbook

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

Kotlin7

8 months ago

A Flutter Package to render Mathematics, Physics and Chemistry Equations based o

JavaScript281other

4 months ago

equationsflutterkatex

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

Python753cc0-1.0

17 days ago

awesomeawesome-listcomputer-science

A curated list of awesome mathematics resources

Python8978

last month

awesomeawesome-listlecture-notes

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

TeX142other

4 months ago

calculuscomputer-sciencecounting

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

MATLAB857mit

4 years ago

clusteringlinear-regressionmachine-learning

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

Common Lisp77mit

2 months ago

audiocommon-lispeffects

OpenGL Mathematics (GLM)

C++9240other

4 months ago

cppcpp-libraryglm

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

C19442gpl-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 Notebook26879mit

6 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

Python194apache-2.0

14 days ago

jaxtree-math

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

Go55apache-2.0

5 months ago

datastructuregenericgeneric-graph

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

Coq30lgpl-3.0

2 months ago

Write Apps like Mathematical Equations!

PureScript217other

5 months ago

app-developmentfunctional-programmingnative

Swift Custom Operators for Mathematical Notation

Swift1156mit

4 years ago

mathnotationoperator

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

Elixir85mit

7 months ago

dslelixirmath

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

1076

27 days ago

linksmathematicsunderstanding

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

Swift832mit

5 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

9 months ago

coqserapi

Mathematical Components compliant Analysis Library

Coq209other

15 days ago

analysiscoqmathcomp

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

Vue307mit

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

15049mit

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

8 months ago

algebracombinatoricsdistributions

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

Coq32

3 months ago

coqelpimathcomp

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

Python9905other

11 months ago

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

Coq15other

5 months ago

complex-analysiscoqreal-analysis

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

OCaml4836lgpl-2.1

2 months 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

5 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!

4592mit

29 days ago

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

TeX1212other

3 years ago

data-structurestextbook

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

Kotlin7

8 months ago

A Flutter Package to render Mathematics, Physics and Chemistry Equations based o

JavaScript281other

4 months ago

equationsflutterkatex

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

Python753cc0-1.0

17 days ago

awesomeawesome-listcomputer-science

A curated list of awesome mathematics resources

Python8978

last month

awesomeawesome-listlecture-notes

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

TeX142other

4 months ago

calculuscomputer-sciencecounting

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

MATLAB857mit

4 years ago

clusteringlinear-regressionmachine-learning

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

Common Lisp77mit

2 months ago

audiocommon-lispeffects

OpenGL Mathematics (GLM)

C++9240other

4 months ago

cppcpp-libraryglm

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

C19442gpl-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 Notebook26879mit

6 months ago

bayesian-methodsdata-sciencejupyter-notebook