Repository Index

Formally verified implementation of the CoAP protocol in SPARK/Ada

• ada
• coap
• formal-verification
• spark-ada

Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)

• binary
• compiler
• runtime
• csharp

A three-dimensional esoteric programming language

A reimplementation of the FIRST Robotics WPILib libraries in Scala for Scala Native support

A Turing-complete programming language with only one symbol: "."

An esolang with brackets, a lot of brackets

• esolang
• esolangs
• interpreter

Infix notation to S-expression (Polish notation) translator for Common Lisp

• common-lisp
• infix-notation

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

• bindbc
• dlang
• freeimage

Ni is a small esoteric programming language turing complete, cell based, like brainfuck.

• esoteric-programming-language
• esoteric-language
• esoteric-interpreter
• esoteric-languages

RASEL (Random Access Stack Esoteric Language) reference implementation

• programming-language
• esoteric-language
• esolang
• stack-based-language

An esoteric programming language with prefix-free brackets

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

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

• brainfuck
• c
• esolang
• esoteric-language

Ada bindings for the player robotic platform

Anime quote web app that fetches data from Animechan (https://animechan.vercel.app/)

• rust
• yew
• wasm
• bootstrap

A configurable dynamic and static D binding to the HarfBuzz library which is compatible with @nogc, nothrow, and BetterC.

Dynamic and static bindings to nanovg, compatible with -betterC, @nogc, and nothrow.

Ada binding to OpenAL which tries to mimic original API while using Ada types.

Dynamic and static bindings to IBM ICU, compatible with -betterC, @nogc, and nothrow.

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

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

Rebar3 neotoma (Parser Expression Grammar) compiler

Dynamic and static bindings to SDL2_gfx, compatible with -betterC, @nogc, and nothrow.

The repository host gives no description.