47,133 repositories indexed
1–24 of 32 · 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.
📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
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.
bcrypt-ruby is a Ruby binding for the OpenBSD bcrypt() password hashing algorithm, allowing you to easily store a secure hash of your users' passwords.
Next generation API for .NET
Python interface for igraph
🤠 Object property paths with wildcards and regexps 🌵
Lossless compression C library built for ultra-fast decode. Faster than LZ4 (+35% to 105%+; best on ARM64), at a better ratio. Official Rust, Python, Node.js, Go and WASM bindings. Write-once/read-many, with optional seekable archives for O(1) random access.
Macros for defining monads, and definition of the most common monads
Mini audio library
A collection of containers & algorithms for the Crystal programming language
IGraph/M is the igraph interface for Mathematica
The repository host gives no description.
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 subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support
Tealang - high level language for Algorand ASC1 and TEAL
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 DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.