Repository Index

A framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

C# wrapper for FlashRuntimeExtensions

• adobe-air
• ane
• air-native-extensions
• csharp

TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)

• delphi
• easy-to-use
• freepascal
• game

Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.

• delphi
• pascal
• allegro5
• lazarus

A lock-free concurrent data structures library for Common Lisp.

• common-lisp
• concurrency
• lisp
• primitives

Free Monads and useful constructions to work with them

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

• bindbc
• dlang
• freetype
• freetype-bindings

kafka pascal, freepascal bindings using librdkafka and zeromq

A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.

Rust bindings for AG Grid

NBAda - An Ada library of lock-free data structures and algorithms.

JVM runtime execution analysis - finds hot code paths by frequency, not CPU time

• asm
• bytecode
• code-coverage
• java

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

• bindbc
• dlang
• freeimage

An esoteric programming language with prefix-free brackets

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

FreeType binding for Ada 2012

• language-bindings
• freetype
• ada

CSS3 parser, selector and style engine for ActionScript 3.0.

Ada Posix Binding to Video 4 Linux, used for RPI