Repository Index

Fable Reaction - Reactive (AsyncRx) for F# Elmish and Fable

• reactive
• elmish
• fable
• fsharp

The single instruction language - Flip a bit, then Jump

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

SOAP client for Elixir programming language

• soap
• elixir

Clojure wrapper for Encog (v3) (Machine-Learning framework that specialises in neural-nets)

A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang

• domain-specific-language
• gamemaker-studio-2
• dynamically-typed
• compiler

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

• coq
• library
• programming
• coq-platform

Ada 2022 bindings to SDL 2

• sdl
• sdl-ttf
• ada
• ada2012

A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.

• midi
• music-programming
• karaoke
• karaoke-player

luaproc is a concurrent programming library for Lua

:ram: Lisp that compiles to JavaScript in the Ramda way

• lisp
• ramda
• functional
• s-expression

A collection of containers & algorithms for the Crystal programming language

• crystal
• algorithms

A revolutionary new dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification

FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch

• programming-language
• windows
• scripting-language
• compiler

pure functional and generic programming for Erlang

• foldable
• traversable
• erlang
• lenses

Verified hash-based AMQ structures in Coq

• bloom-filter
• probability
• coq-formalization
• coq

AsyncCalls – Asynchronous function call framework

LibRaylib Bindings for Crystal.

• crystal
• binding
• framework
• gamedev

Decorator which checks whether the function is called with the correct type of parameters.

• python
• type-checking
• runtime-checking
• typechecking

C# bindings for Sciter - create HTML/CSS/JS based native apps

• sciter

🌟 Useful functional programming helpers for Go

• golang
• go
• functional-programming
• library

A parser/renderer for Aseprite animations in LÖVE. :peach:

• love2d
• love
• love2d-framework
• animation

Lightweight Promises for Swift & Obj-C

• futures
• promises
• swift
• objective-c

Simple tuples to use with RxJava [STABLE]

• android
• functional-programming
• java

The Esoteric File Archive

• esolang
• esoteric-programming-language