Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Repository Index
54,641 visible repositories in the index
25–31 of 31 · Most stars
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
A web framework for writing react components in common lisp using jscl
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
Ada EL - Expression Language Library (JSR245)
A V library for processing PCRE regular expressions
- vlang
- vlang-module
- pcre2
- regex
MicroPython bindings for some MbedTLS EC and x509 cert/csr functions.
- ecdsa
- mbedtls
- micropython
- tls