An auto splitter for Hollow Knight: Silksong

A keyboard input remapper for Linux/Wayland systems, written by @wez

A terminal workspace with batteries included

A script for converting .deb packages into Arch Linux packages, focused on accuracy

A plugin for OBS Studio that allows adding LiveSplit One as a source.

A cross-platform autosplitter for Hollow Knight that supports Windows, Mac, and Linux

LLVM IR in natural Rust data structures

Static site generator(SSG) for typst

A Lean companion to Analysis I

Models of dependent type theory

Memory Management ToolKit

shiroa is a simple tool for creating modern online books in pure typst.

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

A very fast linker for Linux

A Stable ABI for Rust with compact sum-types

A command-line benchmarking tool

Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.

Code for "Lessons Learned from Building a Query Optimizer" blog series

Most influential papers in programming languages

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

A collection of RBIR projects and posts for anyone interested in joining this journey.

Mirror of https://gitlab.com/verso-browser/verso

An interpreter for Rust's mid-level intermediate representation

Apache Calcite

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL

Distributed SQL database in Rust, written as an educational project

The user-friendly command line shell.