Repository Index

Simple streaming interface to zlib for Lua.

An opinionated set of bindings to the React library, optimizing for the most basic use cases

Stream api (kind of) implementation for go, other useful functions and packages to use go in a functional way

• filter-map-reduce
• go-library
• stream-api
• filter

An inter-process and inter-machine lockfile utility that works on a local or network file system.

• lockfile
• atomic
• nodejs
• cross-process

C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.

• coroutines
• cpp
• cpp20
• lock-free

High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.

• immutable
• typescript-definitions
• es2015-modules
• data-structures

Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land

• promise
• fantasy-land
• async
• asynchronous

formally verified category theory library

• category-theory
• formal-verification
• formal-proofs

Official GitHub repository for netCDF-Fortran libraries, which depend on the netCDF C library. Install the netCDF C library first.

• netcdf-fortran
• unidata
• netcdf-library
• dataset

Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.

• matlab
• rust
• jit-compiler
• linear-algebra

WATSON: Wasted but Amazing Turing-incomplete Stack-based Object Notation

• esolang
• esoteric-language
• serialization
• encoding

Floc: Orchestrate goroutines with ease.

• go
• parallel-programming
• goroutines
• goroutine-safe

JavaScript Engine for .NET

• netcore
• standard
• csharp
• csharp-library

An extremely small, intuitive and fast functional utility library for JavaScript

• javascript
• functional
• lightweight
• fast

Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.

• common-lisp
• concurrency
• genserver
• actor

Elm style FRP library for PureScript

High performance Transactional Memory for Common Lisp

Screamer is an extension of Common Lisp that adds support for nondeterministic programming.

Mypy static type checker plugin for Pytest

TypeQL: Built for systems, not records

• reasoning
• query-language
• query
• inference

Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy

• micropython-stubs
• micropython-stubber
• firmware-stubs
• python

Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.

This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.

An experiment in adding functional pattern matching to JavaScript