A community-maintained Python framework for creating mathematical animations.
- math
- python
- manim
- animations
Repository Index
47,133 repositories indexed
1–24 of 40 · Most stars
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
- bayesian-methods
- pymc
- mathematical-analysis
- jupyter-notebook
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
a cheat-sheet for mathematical notation in code form
A Python-embedded modeling language for convex optimization problems.
- python
- cvxpy
- optimization
- modeling-language
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
C++ implementation of the Python Numpy library
- python
- numpy
- c-plus-plus
- numerical-analysis
Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra
Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
- mathematics
- understanding
- links
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical functions
- adaptive-learning
- machine-learning
- python
- live-plots
A list of schools and researchers in computational neuroscience
- awesome-list
- awesome
- computational-neuroscience
- neuroscience
A cross-platform Swift library for evaluating mathematical expressions at runtime
A collection of .NET libraries for rendering mathematical formulae using the LaTeX typesetting style, for the WPF and Avalonia XAML-based frameworks
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
a C# embeddable lexer and parser generator (.Net core)
- dot-net
- csharp
- parser
- lexer-generator
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
Write Apps like Mathematical Equations!
- purescript
- app-development
- native
- functional-programming
A collection of useful mathematical functions in Elixir with a slant towards statistics, linear algebra and machine learning
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Collection of mathematical morphology methods and plugins for ImageJ
- image-processing
- image-analysis
- imagej
- fiji
A .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.
- mathematical-modelling
- automatic-differentiation
- mathematics
- math
IGraph/M is the igraph interface for Mathematica
- igraph
- mathematica
- mathematics
- network-graph
Parses and evaluates mathematical expressions in Elixir. Inspired by math.js
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
- supercollider
- lisp
- synth
- sequencer