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.

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