Simple framework for single-run scripts.
A choreographic scoring addon for p5.js
A color pattern sequencer, intended for groups of RGB LEDs
Choreographic programming for Rumpsteak - effect-based distributed protocols
Session types for asynchronous communication between multiple parties (Aura flavored).
Session types for multi-party asynchronous communication.
Procedural macros for Rumpsteak session types (Aura flavored).
Lean verification bridge for Rumpsteak session types
Session type theory algorithms - projection, merge, subtyping
Core session types for Rumpsteak - matching Lean definitions
A parser for recognizing and structuring figure skating elements according to ISU standards.
Choreographic programming for Telltale - effect-based distributed protocols
Bytecode VM for choreographic session type protocols
Choreographic Programming in Rust
A library for choreographing a dynamic pool of hierarchially organized actors on Ruby v1.8
A library for choreographing a dynamic pool of hierarchially organized actors on Ruby v1.8