Repository Index

Static and dynamic bindings to the Blend2D C API for D

GNU Scientific Library bindings for Crystal

Ada bindings for libsoundio

crystal lang video for linux device helpers / bindings

Extra contribution for mathcomp

• theorem-proving
• primality-test
• matroid
• rsa-algorithm

Solving the mini Rubik (2x2) in Coq

• theorem-proving
• formalization
• rubik-cube
• 2x2x2

Ada Windows POSIX binding

A dynamic binding to OpenGLES for the D Programming Language.

A dynamic binding to the PhysicsFS library for the D Programming Language.

KiWi binding for D programming language

CHICKEN Scheme bindings to libsodium crypto library

Vala bindings for libcmark, the CommonMark parsing and rendering library in C

Ada bindings for the player robotic platform

C binding generator for OpenGL API's

Ada 2012 bindings for libcanberra

• libcanberra
• ada

Ruby bindings to Hunspell 1.2.x with iconv support

Ada bindings for the Microsoft Win32 Api

• ada
• gnat
• gcc
• win32

Ada bindings of Turbo Pascal 7.0 units with GTKAda.

MicroPython bindings for some MbedTLS EC and x509 cert/csr functions.

• ecdsa
• mbedtls
• micropython
• tls

A dynamic binding to the ALURE library for the D Programming Language.

Dynamic bindings to libvorbis for the D Programming Language.

A configurable dynamic and static D binding to the HarfBuzz library which is compatible with @nogc, nothrow, and BetterC.

keim's CannonML (shmup scripting language) implementation in Actionscript 3

Dynamic and static bindings to nanovg, compatible with -betterC, @nogc, and nothrow.