Stars
Lightpanda: the headless browser designed for AI and automation
Print React components in the browser
An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
A fully-featured PDF library for Rust, WASM-ready
Lock-free data structures for multicore OCaml
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Haskell implementation of the KDL Document Language
Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.
A Lean 4 formalization of partial combinatory algebras.
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
🗻 LSM-based embeddable key-value storage engine written in safe Rust
An unofficial Google Nearby Share/Quick Share app for macOS
Compiler optimizer for arbitrary control flow based on equality saturation
A garden of small programming language implementations 🪴
A fast and ergonomic concurrent hashmap for read-heavy workloads.
A from-scratch experimental AOT JS engine, written in JS
Developing a standard for localizable message strings