Repository Index

Apache Kafka Client for Delphi

Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

• community-driven
• manifesto
• coq

Load Common Lisp code blocks from Org files

• literate
• programming
• lisp
• org

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

A ClojureScript wrapper for RxJS

A different tap parser

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

A dynamic binding to ENet for the D Programming Language.

A dynamic binding to libpq for the D Programming Language.

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

Dynamic bindings to the Open Dynamics Engine physics library for the D Programming Language.

Dynamic bindings to libogg for the D Programming Language.

A dynamic binding to OpenGLES for the D Programming Language.

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

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

Dynamic bindings to libvorbis for the D Programming Language.

A dynamic binding to libtheora for the D Programming Language.

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