Library sandboxing for the Verona research language and usable in other contexts.

Embed Twitter videos, polls, and more on Discord and Telegram

dev tools, env vars, task runner

Empowering everyone to build reliable and efficient software.

Simple examples of Assembly code for the Apple Silicon (M1) CPU

A port of Sebastian Aaltonen's `OffsetAllocator` to Rust

The (formerly @au-ts) PL&V Reading Group

Example of Embedded Jetty with JSP support

n2 ("into"), a ninja compatible build system

A hackable, minimal, fast TUI file explorer

ranger-like terminal file manager written in Rust

Forum for discussion about what unsafe code can and can't do

guide to unblock blocked websites

🕵️‍♂️ Collect a dossier on a person by username from thousands of sites

Pair your compilers up at The ABI Cafe!

🦀 How to minimize Rust binary size 📦

RedLeaf Operating System

Gotchas and warts in Rust Lang

An OS kernel written in rust. Non POSIX

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

seL4 specification and proofs

Simple POC seL4 Rust App

Presets for EasyEffects and PulseEffects.

A free book about developing secure and robust systems software.

Multi functional app to find duplicates, empty folders, similar images etc.

A Git-compatible VCS that is both simple and powerful

Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions

A Rust-based userland which also adds compile-time assurances to seL4 development.

OCaml Demo Project

📝 Web-based, reactive Datalog notebooks for data analysis and visualization