Repository Index

:traffic_light: Go bindings for libappindicator3 C library

Static and dynamic bindings to the Blend2D C API for D

GNU Scientific Library bindings for Crystal

A Ruby interface to the Timbl machine-learning library

A simple web application boilerplate using Common Lisp

• lisp
• common-lisp

Ada bindings for libsoundio

Grammar handling and parser generation Ada library

• ada
• grammars
• parsing
• syntax-analysis

crystal lang video for linux device helpers / bindings

An esoteric programming language with prefix-free brackets

• esoteric-programming-language
• esolang
• programming-language

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 Latin-themed esoteric programming language where source code reads as prayer

• brainfuck
• c
• esolang
• esoteric-language

Simple .lng File Parser from HandyGames games

• deepl
• javagame
• lng
• parser

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

Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON

• functional-programming
• java
• json
• json-generator

Ada bindings for the player robotic platform

C binding generator for OpenGL API's

Ada 2012 bindings for libcanberra

• libcanberra
• ada

Incremental analysis in Ada

• ada
• syntax-analysis
• incremental
• parsing