Repository Index

An esoteric programming language with prefix-free brackets

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

Solving the mini Rubik (2x2) in Coq

• theorem-proving
• formalization
• rubik-cube
• 2x2x2

A Latin-themed esoteric programming language where source code reads as prayer

• brainfuck
• c
• esolang
• esoteric-language

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

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

A Catspeak to Gamemaker VM bytecode Just-In-Time compiler.

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

Dynamic bindings to libvorbis for the D Programming Language.

Actionscript 3 Functional Programing

A dynamic binding to libtheora for the D Programming Language.

Do notation pipes for Promise-based or pure functions which easy to mock

• do-notation
• functional-programming
• mock
• pipe

A time library for D programming language.

• time
• timezone
• chrono
• date

Vertx-effect brings functional effects to the Vert.x ecosystem and is inspired by Erlang’s actor model. Its manifesto emphasizes principles such as maximizing the use of verticles for scalability, maintaining single responsibility for each verticle, and prioritizing simplicity to enhance reliability and ease debugging.

• functional-programming
• java
• json-values
• persistent-data-structure

FitEx is a Macro-Module which provides a bit of sugar for function definitions.

• macros
• elixir-lang
• elixir
• functional-programming

Minimal binding to libdl

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