Repository Index

:station: - friendly web compiler

• compile
• assets
• browserify
• server

A compatibility layer for event-driven abstractions

• stream-processing
• future
• clojure
• async

F(unctional) util(ities). Resistance is futile.

functional, durable data structures

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

• coq
• mathematics
• unimath
• coq-library

A library for enabling task-based multi-threading. It allows execution of task graphs with arbitrary dependencies.

• cpp
• multithreading
• fibers
• task-scheduler

Tools for transparent data transformation

• term-rewriting
• logic-programming
• unification
• pattern-matching

Maintainable configuration files

• configuration-language
• haskell
• dhall

Sail architecture definition language

Category Theory and Algebraic abstractions for Clojure and ClojureScript.

Bind C++ functions and classes into V8 JavaScript engine

• javascript
• c-plus-plus
• cpp
• cpp14

Fast GPIO, PWM, servo control, state change notification and interrupt handling with Node.js on the Raspberry Pi

• gpio
• pwm
• servo
• motor

Popular PHP library for serialized execution of critical code in concurrent situations

• lock
• mutex
• semaphore
• php

Extensions for F#

• f-sharp
• generic-functions
• monad-transformers
• arrow-functions

Python bindings for MPI

• python
• parallel-computing
• mpi
• mpi-library

Partial lenses is a comprehensive, high-performance optics library for JavaScript

• isomorphism
• traversal
• fold
• immutable

Jelly is a recreational programming language inspired by J.

A robust option type for C#

• option-type
• safety
• functional-programming

A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines

• cpp20
• coroutines
• wait-free
• threadpool

🚀 fast JavaScript 4 Eclipse Vert.x

• vertx
• language-support
• javascript
• typescript

C# discriminated union source generator

• csharp
• discriminated-unions
• dotnet
• functional-programming

Lightning Memory Database (LMDB) for Java: a low latency, transactional, sorted, embedded, key-value store

• lmdb
• java
• key-value
• embedded-database

Sodium - Functional Reactive Programming (FRP) Library for multiple languages

Modify deeply nested case class fields

• scala
• lenses
• functional-programming