Repository Index

Kotlin recursion schemes with Arrow

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

general purpose utils for interacting with vert.x

A scala-native bridge to Cocoa

• scala-native
• cocoa
• objective-c
• scala

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

Rate limiter and overload protection for erlang application

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

• coq
• sudoku
• nix-action

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

pipelines contains generic functions for concurrent processing

• concurrency
• go
• golang
• pipelines

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

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

Practice recognizing chords in this Rust/Yew/Webassembly app

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

A collection of tools for Golang

a functional library for coffeescript (and javascript)

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

GNAT Components Collection – Bindings to C libraries

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

• algokit
• lib
• experimetal

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

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

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

Migrate your active record migrations to ecto compatible migrations

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

:construction: Async helpers for Vert.x

• vertx
• async
• library

This library is a collection of functional idioms for ActionScript 3 based on Haskell and Coffeescript.