Repository Index

Ada binding to the SFML library

• ada
• binding
• sfml
• multimedia

Library for Classical Coq

XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.

• python
• asynchronous
• sockets
• tcp

Common Lisp (Parenscript) library for React

PostgreSQL client library (libpq) binding

• pecl
• libpq
• asynchronous
• postgresql

Delphi's FMX and VCL header/wrapper units for BASS audio library plus add-ons

Adobe AIR native extension for the Bullet physics simulation library

A command line tool and library for generating FFI wrappers for Common Lisp

• ffi
• common-lisp
• cffi
• clang

A Scala Native wrapper of the SQLite C library

• database
• linux
• scala
• sqlite

Go Bindings for libsamplerate

• golang
• libsamplerate
• audio
• audio-processing

A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.

• algebraic-effects
• side-effect
• side-effects
• typesafe

Clojure library for Blueprints (part of the Tinkerpop graph stack).

Cgo binding for Snowball C library

Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.

• delphi
• pascal
• allegro5
• lazarus

OCaml library for combinatorics

Coq library on rewriting theory and termination

Common Lisp bindings for the OpenAL audio library.

A Common Lisp library that enables fast and convenient interoperation with foreign objects.

Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

Ruby wrapper for the famous spell checker library hunspell.

• ruby
• hunspell
• rubygem
• hunspell-spell-checker

A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.

• cross-platform
• dialog
• file
• filesystem

List manipulation library inspired by Haskell package Data.List

• list
• lisp
• haskell

Elixir library to do pipeable transformations on html strings (with CSS selectors)

• elixir
• html-parser
• html-renderer
• css-selector