A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Repository Index
47,133 repositories indexed
73–86 of 86 · Most stars
Live graphs of worldwide CoVID-19 data
- covid-19
- coronavirus
- coronavirus-tracker
- rust
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
a NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto
Lua wrapper arount the Tweet NaCl cryptographic library
Common Lisp bindings to the C++ NDB API of RonDB
Common Lisp CFFI bindings to the Horde3D graphics library.
libsodium for Ada - A secure cryptographic library
A task graph execution library for elixir
(almost) Fully functional GraphQL request parser written completely using TypeScript's typing system
A GraphQL parser for python
A configurable dynamic and static D binding to the HarfBuzz library which is compatible with @nogc, nothrow, and BetterC.
Scala Native bindings for the Cairo 2D graphics library
Go library for Russian GOST cryptography (digital signatures, Streebog hash, Kuznechik cipher, MGM AEAD) backed by OpenSSL gost-engine
- aead
- block-cipher
- cryptography
- digital-signatures