meithecatte

cursedfs

Make a disk image formatted with both ext2 and FAT at once

miniforth

A bootsector FORTH

enumflags2

Rust library for typesystem-assisted bitflags.

fake-static

rustc hates him! Sidestep borrow checking with this weird trick.

busycoq

Busy Beaver deciders backed by Coq proof

compilercrim.es

aoc2023

Solutions for the 2023 Advent of Code

mips-quine

MIPS Quine that disassembles its own code and parses its own ELF symbol table

bootOS

bootOS is a monolithic operating system in 512 bytes of x86 machine code.

cpplambdas

advisory-db

Security advisory database for Rust crates published through crates.io

bbchallenge

Frontend of https://bbchallenge.org

bbchallenge-proofs

Mathematical proofs of the bbchallenge project.

binaryninja-api

Public API, examples, documentation and issues for Binary Ninja

egg

egg is a flexible, high-performance e-graph library

pets

A configuration management system for Pets, not Cattle

pokeplatinum

Decompilation of Pokémon Platinum

qemu

qubes-app-linux-img-converter

Qubes component: app-linux-img-converter

qubes-core-admin-client

Qubes management API client

qubes-core-agent-linux

Qubes component: core-agent-linux

qubes-core-qrexec

qubes-gui-agent-linux

Qubes component: gui-agent-linux

qubes-gui-rust

Rust implementation of the Qubes OS GUI protocol

qubes-manager

Qubes component: manager

qubes-mgmt-salt-dom0-virtual-machines

rust

A safe, concurrent, practical language.

rust-clippy

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

serenityos

The Serenity Operating System 🐞

wasmtime

A fast and secure runtime for WebAssembly