This is a mirror of Picodata, an in-memory database with plugins in Rust.

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Sail architecture definition language

An LR(1) parser generator and visualizer created for educational purposes.

The math library of Lean 4

Lean 4 programming language and theorem prover

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

Define compiler intermediate representation usable by external tools

Userspace eBPF runtime for Observability, Network & General Extensions Framework

Pattern matching and exhaustiveness checking algorithms implemented in Rust

A Language Server for Postgres

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Tarantool Rust SDK

Edit and review GitHub issues and pull requests from the comfort of your favorite editor

DSLCad is a programming language & interpreter for building 3D models.

Safe cross-platform linker shenanigans

Cosette is an automated SQL solver.

Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)

Agda bindings to SMT-LIB2 compatible solvers.

Minimal and opinionated eBPF tooling for the Rust ecosystem

Propositional logic with types in Rust

A very compact representation of a placeholder for an image.

A Rust library providing pretty hex dump.

Neovim's answer to the mouse 🦘

Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…

agda-mode on VS Code

A research project in path semantics, a re-interpretation of functions for expressing mathematics

Propositional logic with exponentials

audible feedback on just how much your browsing feeds into google