Starred repositories
Flipper Zero HTTP Library for the WiFi Developer Board, BW16, Raspberry Pi, and other ESP32 devices
A modern step-through debugger for GHC Haskell
Zebar is a tool for creating customizable and cross-platform taskbars, desktop widgets, and popups.
Modern, advanced, portable, multiprotocol bootloader and boot manager. (Official mirror of https://codeberg.org/Limine/Limine)
RISC-V Instruction Set Reference Card aka Cheat Sheet
A collection of modern/faster/greater alternatives to common UNIX commands, which is maintained.
Open-source custom firmware for PicoCalc, Video Game Module, and other Raspberry Pi Pico devices
Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions
Chisel: A Modern Hardware Design Language
A collection of interesting new networks and tech aiming at decentralisation (in some form).
CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.
A self-paced course to learn Rust, one exercise at a time.
Convert YouTube playlists to audio-only RSS feeds for podcast apps to consume.
A scalafix rule to apply named parameters
Scala library for boilerplate-free, type-safe data transformations
Retroactive has been discontinued. You should transition from Retroactive to supported apps such as Music, iTunes for Windows, iMazing, Photos, Darktable, Lightroom Classic, and DaVinci Resolve.
Classic iPod mod with Raspberry Pi Zero and color screen
Neanes is a free and open source scorewriter for notating Byzantine chant in Byzantine notation.
Network-wide ads & trackers blocking DNS server
Crucible is a library for symbolic simulation of imperative programs
Programming language for literate programming law specification
