Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.

A digital archive of category theory papers.

Multiparty Session Types in OCaml

The Grammar Checker for Developers

Interoperable effects based concurrency

A Zig coroutine library

A WebAssembly runtime implemented in TypeScript types

Declarative CLI Version manager written in Go. Support Lazy Install, Registry, and continuous update with Renovate. CLI version is switched seamlessly

dev tools, env vars, task runner

🕳 bore is a simple CLI tool for making tunnels to localhost

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.

Color in Rust.

treefmt nix configuration

OCaml Language Server Protocol implementation

Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.

Rust / WASM library for reading, writing, templating and rendering PDF

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

The WASM library for ImageMagick

Limbo is a project to build the modern evolution of SQLite.

A Lean 4 formalization of partial combinatory algebras.

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

framework for composable networking services

🗻 LSM-based embeddable key-value storage engine written in safe Rust

A minimal development of SSA theory

An unofficial Google Nearby Share/Quick Share app for macOS