Repository Index

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 web framework for writing react components in common lisp using jscl

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

• coq
• sudoku
• nix-action

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

Crystal shard aiming to assist with parsing backtraces into a structured form.

• crystal
• stacktrace
• parser

The repository host gives no description.

pipelines contains generic functions for concurrent processing

• concurrency
• go
• golang
• pipelines

Seamless Interface to Octave -- and Matlab code

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm

TML Object Pascal Components

Dynamic bindings to the CUDA library for the D Programming Language.

An Object Pascal Client for NATS

• delphi
• lazarus
• pascal
• linux

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

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

A collection of tools for Golang

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.

Practice recognizing chords in this Rust/Yew/Webassembly app

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

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

A Simple DSL to create Directory Tree with Text Files

• groovy
• dsl
• jvm
• directory