Repository Index

Functional programming library for https://github.com/crystal-lang/crystal

Build simplified C#, dotnet execute with custom entry point, another dotnet run without a project file

• csharp
• dotnet
• csharp-script
• dotnet-exec

FFI Bindings to interact with the unsafe world of JavaScript

Go Stream, like Java 8 Stream.

• go-stream
• filter
• map
• flatmap

A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.

• electron
• nodejs
• steam
• steamworks

raix (Reactive And Interactive eXtensions) is a functional, composable, API for AS3 that simplifies working with data, regardless of whether its interactive (arrays) or reactive (events). raix was previously RxAs

An UnderscoreJS port for Coldfusion. Functional programming library.

• coldfusion

Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.

• supercollider
• lisp
• synth
• sequencer

Java wrapper for SDL and LibGDX controller API

Profunctor implementation of Lenses, Prisms, Traversals, Isos, etc.

Wrapper around mono library. Allows easy loading and interop between code written for the .NET framework and Rust.

• csharp
• dotnet
• fsharp
• mono

Fully auto-generated Common Lisp bindings to Raylib (6.0/5.5) and Raygui (4.0) using claw and cffi-object

Clojure collection and sequence APIs in Common Lisp, with optional Clojure collection syntax

Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]

Generate a ready-to-use Common Lisp project

• common-lisp
• cookiecutter
• lisp

Selenium WebDriver Bindings for Objective-C

Idris LLVM codegen factored out

`llthreads` library rewritten without `LuaNativeObjects` code generator

• lua
• threading
• pthreads
• lua-binding

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs

Experimental Malfunction backend for Idris

Japt 1.4.5, the other JavaScript golfing language

• javascript
• esolang
• golfing-language
• programming-language

Monadic effects and equational reasoning in Rocq

• monads
• monad-transformers
• probabilistic-programming
• nondeterminism

A Rocq formalization of information theory and linear error-correcting codes

• information-theory
• error-correcting-codes
• probability
• convexity

Common Lisp (Parenscript) utilities for building web apps in ReactJs