Repository Index

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

A mechanisation of Wasm in Rocq

• webassembly
• wasm
• coq
• rocq-prover

Python promises

• python
• promises
• promise
• promise-library

Clojure support for protocol buffers

• clojure
• protobuf
• protobuf3
• protobuf-java

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

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

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

The Esoteric File Archive

• esolang
• esoteric-programming-language

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