#
Starred repositories
Open-source benchmark suite for cloud microservices
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
Denotational Semantics of the Untyped Lambda Calculus
Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄
20
Updated Aug 12, 2024
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
A 2D RPG implemented in the Rhombus Racket dialect
A modular implementation of timely dataflow in Rust
It's a New Kind of Wrapper for Exposing LLVM (Safely)
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR