A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust
Repository Index
47,133 repositories indexed
25–48 of 49 · Most stars
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
- supercollider
- lisp
- synth
- sequencer
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
The repository host gives no description.
WebAssembly wrapper to simplify fast math coding
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS
- scala
- scala-native
- math
- linear-algebra
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Bindings to special math functions from the Cephes library.
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
JVM runtime execution analysis - finds hot code paths by frequency, not CPU time
- asm
- bytecode
- code-coverage
- java
Single-header C++ JIT compiler/evaluator for mathematical expressions
- expression-evaluator
- expression-parser
- formula-engine
- formula-evaluator
Docker images of coq-mathcomp [maintainer=?]