A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
78,351 visible repositories in the index
1,681–1,704 of 1,945 · Most stars
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
Dynamic and static D bindings for bgfx
Read, modify, and write Common Lisp source code while preserving whitespace and comments
Some Clojure-ish thingies for Common Lisp
OCaml bindings for OpenGL
Zig bindings for libVLC media framework.
Crystal library for Win32 API
Go bindings for the snowball libstemmer library including porter 2
ImageMagick bindings (fork)
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
Ruby binding for XGBoost
Backport for type hinting generics in standard collections and union types as X | Y
High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).
Rate limiter and overload protection for erlang application
A web framework for writing react components in common lisp using jscl
Go option and result types that optionally contain a value
Lazy iterator implementation for Golang
Static & dynamic D bindings to the FreeType library, compatible with BetterC, @nogc, and nothrow.
COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.
Capstone Disassembler Library Binding for Delphi
Crystal shard aiming to assist with parsing backtraces into a structured form.
kafka pascal, freepascal bindings using librdkafka and zeromq
Micropython wrapper for FastLZ, a lightning-fast lossless compression library
Clojure-compatible threading/transformation/arrow macros for Common Lisp