Scar programming language

Fine-grained parallelism with sub-nanosecond overhead in Zig

Monorepo for replicated & dataflow language abstractions [@rmgk]

The rustic MLIR bindings in Rust

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

Some notes on things I find interesting and important.

OCaml - Oxidized!

Haskell grammar for tree-sitter.

A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference

My blog.

Open-source benchmark suite for cloud microservices

A bibliography for protocol design

A language for building concurrent software with confidence

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

MLIR For Beginners tutorial

Denotational Semantics of the Untyped Lambda Calculus

Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄

Experimenting with implementing things in bud