Repository Index

Clojure-compatible threading/transformation/arrow macros for Common Lisp

Minimal cgo bindings for libenca

Crystal bindings for Monocypher

pipelines contains generic functions for concurrent processing

• concurrency
• go
• golang
• pipelines

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 parser for Forsyth-Edwards Notation (for encoding chess positions)

Static & dynamic D bindings to the C API of Lua, compatible with BetterC, @nogc, and nothrow.

• bindbc
• lua
• lua-bindings
• dlang

Dynamic bindings to the CUDA library for the D Programming Language.

Ada binding for the Pebble Time smartwatch

GLFW bindings for Haxe

WIP Vulkan API bindings for Deno

Haskell bindings to Colin Percival's scrypt implementation.

Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:

• concurrency
• async-await
• reactive-programming
• streams

Crystal bindings to ImGui-SFML

Advanced UNIX Terminal UI Ada Binding Package

• curses
• curses-library
• tui

Common Lisp bindings to the C++ NDB API of RonDB

Common Lisp system for decoding public JSON Web Keys (JWK)

• common-lisp
• jwk
• jwkset
• lisp

Common Lisp bindings for Enchant spell-checker library

Crystal bindings for libxdo (xdotool)

• crystal
• libxdo
• x11

Crystal binding generator for raw SDL 3 methods

• binding-generator
• bindings
• sdl
• sdl3

Micropython binding for the ESP32 DL AI vision models like face detection / recognition, imagenet classifier or pedestrian (human) detection

• esp32
• face-detection
• imagenet-classifier
• micropython

Rust bindings for AG Grid

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