Repository Index

Micropython wrapper for FastLZ, a lightning-fast lossless compression library

Blen2d4Delphi is alive again, which was started by #neslib (Erik van Bilsen: https://github.com/neslib/DelphiBlend2D)

Crystal bindings for Monocypher

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

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

• bindbc
• lua
• lua-bindings
• dlang

a NIF for libntru. NTRU is a post quantum cryptography algorithm.

• ntru
• cryptography
• encryption
• lattice-based-crypto

Enhanced query string parser for Erlang

A library that enables the usage of MaxmindDB geoIP databases by using the Rust library in a WASM module

• wasm
• deno
• maxmind
• geoip

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

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

Crystal bindings to ImGui-SFML

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

Practice recognizing chords in this Rust/Yew/Webassembly app

• yew
• music-theory
• music-notation
• wasm

Advanced UNIX Terminal UI Ada Binding Package

• curses
• curses-library
• tui

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

• common-lisp
• jwk
• jwkset
• lisp

Crystal bindings for libxdo (xdotool)

• crystal
• libxdo
• x11

Crystal binding generator for raw SDL 3 methods

• binding-generator
• bindings
• sdl
• sdl3

a functional library for coffeescript (and javascript)

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

Gulp plugin to transform ES6 to ES5.

• jstransform
• javascript
• gulp
• es6

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

Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.

• algokit
• lib
• experimetal

Fast LZMA2 Wrapper for .NET

• compression
• dotnet
• lzma2
• nuget