Repository Index

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

D binding to the Allegro5 game development library

D bindings for nuklear

A Starcraft 2 replay parser written in pure Ruby

Crystal bindings to the Zstandard (zstd) compression library

• crystal
• crystal-bindings
• zstd
• zstandard

Hand-written bindings to Raylib for Common Lisp.

• common-lisp
• raylib

Crystal bindings to Chipmunk, a fast and lightweight 2D game physics library

• crystal
• chipmunk
• physics-engine
• bindings

OpenGL and SDL2 bindings for Scala Native

• scala-native
• scala
• scala-library
• opengl

Type aware promises for crystal lang

Just A Rust Wasm Blog

Prime numbers for Coq

• coq
• theorem-proving
• elliptic-curves
• prime-numbers

Compile-Time Parser Generator in D programming language.

Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.

• dlang
• opengl-bindings
• bindbc
• opengl

Library for selective receive OTP processes

A ClojureScript wrapper for RxJS

the alchemist's happy path with elixir

• elixir
• error-handling
• with
• monad

A practical functional programming library for promises

• promise
• async-programming
• functional-programming
• javascript-callback-hell-solution

Wrapper around mbedtls

Load Javascript and CSS asynchronously in yew

• codesplitting
• interop
• wasm
• rust

Functional Programming for EcmaScript(Javascript)

• functional-programming
• fp
• js
• es

Ada binding to the SFML library

• ada
• binding
• sfml
• multimedia

Elixir wrapper around the Erlang module, eleveldb.

• leveldb
• elixir

Make native methods available as partially applied functions.

Static & dynamic D bindings to GLFW, compatible with BetterC, @nogc, and nothrow.

• dlang
• glfw-bindings
• bindbc
• glfw