Repository Index

A utility library to write code in functional programming style in Javascript

• functor
• monads
• curry
• composition

Pure functions for slices.

• golang
• go
• generics

Kotlin recursion schemes with Arrow

• recursion-schemes
• kotlin
• functional-programming
• recursive-structures

The GMap iteration macro, plus a few other useful macros.

Monadic Assertions library

🚧 Flexible mechanism to make execution flow interruptible.

• hacktoberfest

Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.

Backport for type hinting generics in standard collections and union types as X | Y

High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).

• tcp
• tls
• ssl
• socket

Rate limiter and overload protection for erlang application

Go option and result types that optionally contain a value

• golang
• option
• result
• error

A certified Sudoku solver in Coq [maintainers=@siraben,@thery]

• coq
• sudoku
• nix-action

AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)

Lazy iterator implementation for Golang

• golang
• iterator
• golang-package
• golang-module

Clojure-compatible threading/transformation/arrow macros for Common Lisp

pipelines contains generic functions for concurrent processing

• concurrency
• go
• golang
• pipelines

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm

a parser for Forsyth-Edwards Notation (for encoding chess positions)

a NIF for libntru. NTRU is a post quantum cryptography algorithm.

• ntru
• cryptography
• encryption
• lattice-based-crypto

Haskell bindings to Colin Percival's scrypt implementation.

Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:

• concurrency
• async-await
• reactive-programming
• streams

A collection of tools for Golang

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

Practice recognizing chords in this Rust/Yew/Webassembly app

• yew
• music-theory
• music-notation
• wasm