Repository Index

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

• coq-plugin
• large-numbers
• coq
• docker-coq-action

D binding to c-imgui

• imgui
• bindbc

Ant Design bindings for Fable Elmish

• fable
• antd

Elixir binding for libgraphqlparser

A Coq library providing tactics to deal with hypothesis

• coq
• formal-proofs
• proof-assistant
• tactics

Unofficial OpenCV binding for D programming language

A different tap parser

ffmpeg crystal bindings

Perl bindings for playwright

Crystal C bindings for cmark-gfm to work with Commonmark and Github Flavored Markdown

• crystal
• commonmark
• gfm
• markdown

MXNet (AI/ML) bindings for the Crystal language.

• crystal
• mxnet
• deep-learning
• machine-learning

Dynamic and static D bindings for bgfx

Monadic Assertions library

Read, modify, and write Common Lisp source code while preserving whitespace and comments

OCaml bindings for OpenGL

• opengl
• ocaml

Zig bindings for libVLC media framework.

• bindings
• libvlc
• zig
• zig-library

Go bindings for the snowball libstemmer library including porter 2

ImageMagick bindings (fork)

Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.

Ruby binding for XGBoost

Static & dynamic D bindings to the FreeType library, compatible with BetterC, @nogc, and nothrow.

• bindbc
• dlang
• freetype
• freetype-bindings

Variadic aritity tree with a zipper for Elixir!

Capstone Disassembler Library Binding for Delphi

• disassembler
• assembler
• pascal
• delphi

kafka pascal, freepascal bindings using librdkafka and zeromq