Starred repositories
A collaborative bibliography of work related to coeffects in programming languages
A functional language with algebraic effects, multishot continuations, and native codegen
Fine-grained parallelism with sub-nanosecond overhead in Zig
Monorepo for replicated & dataflow language abstractions [@rmgk]
😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes
Some notes on things I find interesting and important.
A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
Open-source benchmark suite for cloud microservices
Read-only mirror of https://codeberg.org/inko-lang/inko
Fast web applications through dynamic, partially-stateful dataflow
Implementations of various type systems in OCaml.
A robust message queue system for Rust applications, designed as a Rust alternative to Celery.
Rust port of Spice, a low-overhead parallelization library
TLA+ specifications for Kafka related algorithms
Stipple Effect is a pixel art editor that supports animation and scripting (available on Windows, macOS and Linux)
A static, type inferred and embeddable language written in Rust.
Github Pages template based upon HTML and Markdown for personal, portfolio-based websites.
TeXpresso: live rendering and error reporting for LaTeX