Repository Index

An extension of LPeg that supports labeled failures

F# Cold Tasks and Cancellable Tasks

• fsharp
• dotnet
• async-await
• dotnet-core

Verified hash-based AMQ structures in Coq

• bloom-filter
• probability
• coq-formalization
• coq

A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

• code-formatter
• code-generation
• mypy
• pyannotate

Golang simple thread pool implementation

• golang
• threadpool
• channels
• scalable

A refined core library for D programming language. The module has concurrency / collections / event / io / logging / text / serialization and more.

• event-driven
• asynchronous
• io
• concurrency

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

• baseline
• cli
• legacy-code
• mypy

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs

:awesome = Elixir's Task ++ Basho's sidejob library

Flowgraph package for scalable asynchronous system development

• dataflow
• scalable
• distributed

An asynchronous event-driven network framework( port netty ) written in D.

• dlang
• network
• event-driven
• asynchronous

Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class

GraphQL parser for Python

Functional Programming for EcmaScript(Javascript)

• functional-programming
• fp
• js
• es

Make native methods available as partially applied functions.

Dynamic Binding for libui (https://github.com/andlabs/libui) in D

Process pools for OCaml

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

• combinatorial-optimization
• community-detection
• dynamic-graphs
• edge-orientation

CatBoost a fast, scalable, high performance Gradient Boosting on Decision Trees library. Golang using Cgo for blazing fast inference CatBoost Model 🚀

• cgo
• golang
• deep-learning
• gradient-boosting

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

• tcp
• tls
• ssl
• socket

Seamless Interface to Octave -- and Matlab code

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

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