🦀 How to minimize Rust binary size 📦

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

Microkernel and userspace written in Rust exploring modern ideas

Windows System Call Tables (NT/2000/XP/2003/Vista/7/8/10/11)

Kernel for the Oro Operating System

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Common Expression Language interpreter written in Rust

Collaborative development of openiBoot for the iDroid Project

C Compiler written in Vim script

A web browser that plays old world blues to build new world hope

An introduction to ARM64 assembly on Apple Silicon Macs

An easy-to-use program that transcribes text or audio files into a sign language animation. JamHacks7 2023 Best Overall and Best use of GitHub.

[I3D 2024] Deblur-GS: 3D Gaussian Splatting from Camera Motion Blurred Images

⏣ React for Circuits

Dafny is a verification-aware programming language

Praat: Doing Phonetics By Computer

Fast and secure translation on your local machine, powered by marian and Bergamot.

A shader EDSL for writing render and compute pipelines in rust

A configurable RTL to bitstream FPGA toolchain

Low cost, low effort P2P WebRTC serverless signalling using Cloudflare Workers

notes, honeypot, and exploit demo for the xz backdoor (CVE-2024-3094)

Universal local privilege escalation Proof-of-Concept exploit for CVE-2024-1086, working on most Linux kernels between v5.14 and v6.6, including Debian, Ubuntu, and KernelCTF. The success rate is 9…

Generate images of code and terminal output 📸

An idiomatic, lean, fast & safe pure Rust implementation of Git

Downstream repo for Rive renderer

Enhancing the Factorio experience with SAT solvers