47,133 repositories indexed
1–17 of 17 · Most stars
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.
Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and memory ops 🦖
Functional Programming Library for C++. Write concise and readable C++ code.
Python interface for igraph
A collection of containers & algorithms for the Crystal programming language
IGraph/M is the igraph interface for Mathematica
Fast Ruby FFI string edit distance algorithms
Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption
Permutations and permutation groups in Common Lisp.
A framework for implementing and certifying impure computations in Coq
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
Stable sort algorithms and their stability proofs in Rocq
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
NBAda - An Ada library of lock-free data structures and algorithms.
Extra contribution for mathcomp