Drop-in embedded database in Rust

Rust interface to Linux event devices

Distributed tracing without code changes. 🚀 Instantly monitor any application using OpenTelemetry and eBPF

A distributed scheduling system for HPC and AI workloads

A geo-distributed KV store for metadata management

Learn Lean 4 with PLFA proofs.

An Introduction to Lean 4

Parser Combinator Library for Lean 4

Distributed algorithms in Lean 4

A reasonable configuration language

a proof-of-concept programming language based on call-by-push-value

A safe, easy systems language

Koka language compiler and interpreter

Comparing parser APIs

Write expressive, high-performance parsers with ease.

An experimental modern general-purpose microkernel OS.

A versatile (cross-)toolchain generator.

the champagne of beta embedded databases

MacOS Cross-Toolchain for Linux and *BSD

Rust persistent data structures

Accord library for Apache Cassandra®

Faster, Stronger LaTeX and Typst conceal for neovim with the power of ❤️

A Neovim plugin for displaying inline diagnostic messages with customizable styles and icons.

Neovim Plugin for VSCode style inline git blame

PKM Markdown Language Server

💃 Dance with Intelligence in Your Code. Minuet offers code completion as-you-type from popular LLMs including OpenAI, Gemini, Claude, Ollama, Llama.cpp, Codestral, and more.

Auto zz when editing.

Jump outer node smartly