The repository host gives no description.
Repository Index
47,133 repositories indexed
1–24 of 50 · Most stars
GPU Accelerated JavaScript
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
:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.
tiny recursive descent expression parser, compiler, and evaluation engine for math expressions
- c
- calculator
- expression-evaluator
- math
Python interface for igraph
- complex-networks
- graph-algorithms
- graph-theory
- mathematics
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
math and logic formula parser and evaluator
- formula
- calculator
- evaluate-expressions
- safeeval
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
:spider_web: A Python interface to CGAL's meshing tools
- mesh
- mesh-generation
- mathematics
- engineering
The repository host gives no description.
a C# embeddable lexer and parser generator (.Net core)
- dot-net
- csharp
- parser
- lexer-generator
Runtime parser for string expressions (formulas, method calls). Builds dynamic LINQ expression tree and compiles it to lambda delegate.
- evalexpr
- evaluator
- dot-net
- dotnetcore
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.
- regular-expression
- regexp
- regex
- code-generation
A simple cross platform .NET API for Intel MKL
- mkl
- cross-platform
- matrix
- linear-algebra
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
A Lean formalization of the Classification of Finite Simple Groups
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
IGraph/M is the igraph interface for Mathematica
- igraph
- mathematica
- mathematics
- network-graph
Parses and evaluates mathematical expressions in Elixir. Inspired by math.js