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
505–528 of 629 · Most stars
Monadic Assertions library
Zig bindings for libVLC media framework.
- bindings
- libvlc
- zig
- zig-library
Crystal library for Win32 API
- crystal
- crystal-lang
- crystal-language
- crystal-shard
Go bindings for the snowball libstemmer library including porter 2
High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).
Static & dynamic D bindings to the FreeType library, compatible with BetterC, @nogc, and nothrow.
- bindbc
- dlang
- freetype
- freetype-bindings
Capstone Disassembler Library Binding for Delphi
- disassembler
- assembler
- pascal
- delphi
kafka pascal, freepascal bindings using librdkafka and zeromq
Micropython wrapper for FastLZ, a lightning-fast lossless compression library
Minimal cgo bindings for libenca
Blen2d4Delphi is alive again, which was started by #neslib (Erik van Bilsen: https://github.com/neslib/DelphiBlend2D)
TML Object Pascal Components
Dynamic bindings to the CUDA library for the D Programming Language.
a NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto
An Object Pascal Client for NATS
- delphi
- lazarus
- pascal
- linux
A library that enables the usage of MaxmindDB geoIP databases by using the Rust library in a WASM module
OCaml library for forking child processes to perform work on multiple cores
Lua wrapper arount the Tweet NaCl cryptographic library
The repository host gives no description.
- algokit
- lib
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
Elixir library for waiting for things to happen
A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.
Common Lisp bindings for Enchant spell-checker library