Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Repository Index
47,133 repositories indexed
217–240 of 287 · Most stars
Delphi component Equation Editor that allows you to enter and display math formulas
- equation-editor
- display-math-formulas
- delphi
- delphi-component
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
t6 is a "Data-first" IoT platform to connect physical Objects with time-series DB and perform Data Analysis.
- home-automation
- iot
- iot-platform
- nodejs
A library of Actionscript 3 classes for 3D Mathematics.
A hybrid LaTeX code + rich-text editor. It seamlessly syncs a rich-text What You See Is What You Get (WYSIWYG) view with raw LaTeX source code, featuring real-time KaTeX math preview and one-click PDF export via online compilers.
Vanilla Sass helper functions
Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS
- scala
- scala-native
- math
- linear-algebra
Updated infix.cl of the CMU AI repository, originally written by Mark Kantrowitz
- infix-notation
- common-lisp
- mathematics
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
🎚Swift playground for building animations with UIViewPropertyAnimator
- animation
- swift
- playground
A robust & optimized ES3-compatible polyfill for the `String.prototype.endsWith` method in ECMAScript 6.
📐✏️ Slides from my talk on Mathematics of Animation @ .concat() 2018
A place for all my recipes to live. Mostly vegan. Usually tasty. Creative Commons licensed.
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
Pascal library for arbitrary precision BCD floating point numbers
- pascal
- arbitrary-precision
- math
- bignumber
Collection of basic math routines in Ada
A robust & optimized ES3-compatible polyfill for the `String.prototype.repeat` method in ECMAScript 6.
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
A pure Crystal Vector Math library
- crystal
- vector
- quaternion
This is the mirror of pyaxon repository http://bitbucket.org/intellimath/pyaxon
The repository host gives no description.