Stars
Containerization is a Swift package for running Linux containers on macOS.
Yet Another Parser library for Rust. A lightweight, dependency free, parser combinator inspired set of utility methods to help with parsing strings and slices.
The fast sync and async channel that Rust deserves
xlskubectl — a spreadsheet to control your Kubernetes cluster
A set of htmx extractors, responders, and request guards for axum.
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Symbolic-execution-based verifier for the Viper intermediate verification language.
A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
The core OCaml system: compilers, runtime system, base libraries
Refreshing automation for inductive equational proofs using e-graphs
Automatically generate a compiler using equality saturation
WhisperX: Automatic Speech Recognition with Word-level Timestamps (& Diarization)
ALIEN is a CUDA-powered artificial life simulation program.
An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax