Repository Index

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

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

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

• coq
• mustache-templates
• continuous-integration

GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.

The repository host gives no description.

Pascal to Ada translator

• ada
• pascal
• translator
• ada-language

The repository host gives no description.

• algokit
• lib

Implementation of a brainfuck interpreter written for the Game Boy.

Primitive Threads and Concurrency Operations for Coalton

Elixir library for waiting for things to happen

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

Async is an asynchronous task package for Go

• async
• async-await
• golang
• await

Micropython binding for the ESP32 DL AI vision models like face detection / recognition, imagenet classifier or pedestrian (human) detection

• esp32
• face-detection
• imagenet-classifier
• micropython

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

Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.

• algokit
• lib
• experimetal

A Simple DSL to create Directory Tree with Text Files

• groovy
• dsl
• jvm
• directory

Minimalistic, pluggable Golang evloop/timer handler with dependency-injection

Elixir NIFs for interacting with llama_cpp.rust managed GGUF models.

Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks

• esopo
• esolang
• esoteric-language
• esoteric-programming-language

Bindings for iOS and Android on Xamarin projects with sample code.

Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions

• gatling
• performance
• performance-testing
• gatling-plugin

Python bindings for Mosaic.

• plotly-dash
• streamlit

NBAda - An Ada library of lock-free data structures and algorithms.

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

Static & dynamic D bindings to the CSFML library, compatible with BetterC, @nogc, and nothrow.

• bindbc
• csfml
• dlang
• sfml