Yggdrasil Network rewritten in Rust.

SystemVerilog to Verilog conversion

🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl

Veryl: A Modern Hardware Description Language

Uxn emulator for Windows and Wine

UF2 file format specification

A lightweight peer-to-peer chat protocol.

A multithreaded Minecraft server built for redstone.

A fast, keyboard-driven terminal UI for todo.txt.

Memory game that's been shown to improve working memory.

A CLI/GUI tool to create, read, and write several pack file formats.

Git-based decentralized issue management

Small containerization utility, made as uni project

LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!

Kubernetes GitOps with nix and Argo CD.

A maintained, feature-rich and performance oriented, neofetch like system information tool.

NCurses based invaders game

🌀 A nonsense activity generator

The math library of Lean 4

main website of thinkin' rocks

A memory visualizer in Rust (ptrace + userfaultfd)

Static status page generator

The tiniest window manager.

Why is this running? Trace any process, port, container, or file back to what started it - CLI + TUI.

Gopher server.

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

Projects motion of pixels to a voxel

An unofficial PC port of the Xbox 360 version of Sonic Unleashed created through the process of static recompilation.