Repository Index

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

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

Primitive Threads and Concurrency Operations for Coalton

A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

• coq
• complex-analysis
• real-analysis

A Simple DSL to create Directory Tree with Text Files

• groovy
• dsl
• jvm
• directory

Python bindings for Mosaic.

• plotly-dash
• streamlit

Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.

• actor-model
• apache-flink
• distributed-systems
• event-driven

HTPL is a programming language based on HTML

• programming-language
• htpl-compiler
• html

Go WorkerPool aims to control heavy Go Routines

• threadpool
• workerpool
• golang
• goroutine

📅 An esoteric programming language for no reason whatsoever.

• esoteric-language
• esoteric-programming-language
• esolang
• esolangs

Ada interface to the readline library

Implementing promises in Ada. Type-safe, efficient, thread-safe, ...

DataView on ArrayBuffer input stream support for purescript-parsing

• purescript-parsing
• purescript
• parsing
• arraybuffer

Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.

Fast and flexible HTTP request parser for Go

• go-library
• golang
• http
• middleware

An asynchronous Node.js binding for librsvg

A Latin-themed esoteric programming language where source code reads as prayer

• brainfuck
• c
• esolang
• esoteric-language

Scala Native bindings for GStreamer

• scala-native
• gstreamer

Collection of Vert.x utility methods

• vertx
• reactive

Scala Native bindings for the GNU Readline Library