meithecatte

miniforth

A bootsector FORTH

enumflags2

Rust library for typesystem-assisted bitflags.

bashfuck

Write any bash with only the punctuation characters

busycoq

Busy Beaver deciders backed by Coq proof

bassh

I started writing an SSH client in Bash and got worryingly far before getting bored

bootmon

wozmon-style monitor+debugger for the x86 MBR

compilercrim.es

aoc2023

Solutions for the 2023 Advent of Code

bdsm

Bash Data Structures & Miscellanea

bootOS

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

cursedcc

a C compiler written in bash

aoc2024

Advent of Code 2024

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

Boneless-CPU

Resource-efficient 16-bit CPU architecture for FPGA control plane

enlorge

toy DEFLATE decompressor

iced

A cross-platform GUI library for Rust, inspired by Elm

pets

A configuration management system for Pets, not Cattle

pokeplatinum

Decompilation of Pokémon Platinum

prjunnamed

End-to-end synthesis and P&R toolchain

qemu

reference

The Rust Reference

reference-manual

The Lean reference manual

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 🐞

sinol-make

CLI tool for creating and verifying problem packages for sio2

wasmtime

A fast and secure runtime for WebAssembly

Waybar

Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada: