A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

An interpreter for Rust's mid-level intermediate representation

A beautiful, non-destructive, and GPU-accelerated RAW image editor built with performance in mind.

Command-line sampling profiler for macOS, Linux, and Windows

A small and fast async runtime for Rust

Add hardship to your tests

A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

Collection of CI configuration files for Rust projects

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.

Lean 4 programming language and theorem prover

Interactive neural theorem proving in Lean

📖 An approachable introduction to Assembly.

This repo contains the Hugging Face Deep Reinforcement Learning Course.

A minimal tiling x11 window manager

magic-trace collects and displays high-resolution traces of what a process is doing

PDF, ePUB and Mobi versions of “Harry Potter and the Methods of Rationality”, from LaTeX source

Style your webpage like Edward Tufte’s handouts.

⚠️ Now retired. My previous digital garden built with Next.js, React, and MDX. Featuring loosely opinionated notes, half-formed ideas, and content that is always growing.

Open source, local-first knowledge platform.

An iOS app for Roam Research

Roam CSS System 2.0

This is the repository for the distill web framework

Links to my articles from Medium and other places on Roam and other things

Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention