Repository Index

pure functional and generic programming for Erlang

• foldable
• traversable
• erlang
• lenses

Verified hash-based AMQ structures in Coq

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

PasMP - a parallel-processing/multi-processing library for Object Pascal

Bindings to the Tauri API for projects using wasm-bindgen

• rust
• tauri
• wasm
• wasm-bindgen

Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.

• ast
• cli
• go
• golang

Actor library for C# with additional modules that support persistence to Redis, as well as JS integration

Go asynchronous simple function utilities, for managing execution of closures and callbacks

• goroutine
• callback
• closure
• golang

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

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

🌟 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

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

• coq-library
• real-number
• coq
• coq-ci

Lightweight Promises for Swift & Obj-C

• futures
• promises
• swift
• objective-c

A light-weighted Promise library for Objective-C

Simple tuples to use with RxJava [STABLE]

• android
• functional-programming
• java

Haxe native extension for the Steam API

The Esoteric File Archive

• esolang
• esoteric-programming-language

Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data

• clojure
• clojurescript
• debugging
• repl

A comprehensive, reusable and efficient concurrent-safe generics utility functions and data structures library.

• go
• golang
• data-structures
• functional

The easiest Future and Promises framework in Swift. No magic. No boilerplate.

• swift
• futures
• promises
• generics

Functional utility library for Apex

• apex
• functional-programming
• lodash
• ramda

😴 Functional programming with lazy immutable iterables

• iterables
• functional-programming
• iterator
• haskell

tiny (2.7kb) functional programming library using native es5/6 operations

High level commands to declare a hierarchy based on packed classes

• mathcomp
• coq
• elpi

functional/point-free utils for JavaScript

• functional-programming