A rust crate that provides a space efficient 𝛿-based CRDT implementation

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…

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.

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.

Open source, local-first knowledge platform.

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

Roam force multiplier

Rust implementation of the wayland protocol (client and server).