A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
Repository Index
47,133 repositories indexed
409–432 of 507 · Most stars
Ada API to the Windows library
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
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
Micropython wrapper for FastLZ, a lightning-fast lossless compression library
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
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
a functional library for coffeescript (and javascript)
A dynamic and static D binding to the raylib library
- raylib
- d
- binding
- dlang
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis