repositories
- acme-mock Mar 1, 2024
- An ACME server implementation performing no validations
- mach Jan 7, 2024
- A work-in-progress implementation of make(1)
- tmsim Dec 3, 2023
- A fast turing machine simulator with graphviz export functionality
- zig-riscv-embedded Nov 23, 2023
- Experimental Zig-based CoAP node for the HiFive1 RISC-V board
- edward-contrib Jul 12, 2023
- Extra commands for the extensible edward text editor
- qsym Jun 1, 2023
- A symbolic executor for the QBE intermediate language
- qbe-reader May 31, 2023
- A parser for the QBE intermediate language in Rust
- umount-test-opts Mar 7, 2023
- Equivalence checking of BusyBox and util-linux umount(8) -O option handling
- ncalendar Feb 16, 2023
- Reimplementation of the BSD calendar(1) program in Rust
- dwm Oct 7, 2022
- The dwm window manager with some custom modifications
- ifupdown-ng-waitif Jul 31, 2022
- An ifupdown-ng executor which blocks until the interface is actually running
- posix-regex May 15, 2022
- CHICKEN Scheme wrapper for POSIX regular expression matching
- saneterm Apr 5, 2022
- Modern line-oriented terminal emulator without support for TUIs
- archive-logs Nov 24, 2021
- Iteratively archive newline separated log files
- archive-mail Sep 19, 2021
- Maintains maildir archives synced with current maildirs
- kahl Sep 5, 2021
- R⁷RS Scheme parser combinator library for decoding BARE messages
- gdris Apr 14, 2021
- A toy gopher client written in Idris2
- mpvfs Feb 25, 2021
- 9P file server for controlling mpv playback
- corectl Feb 22, 2021
- CHICKEN egg for controlling LEDs on the project 0001 keyboard
- riscv-utils Aug 29, 2020
- Scheme utility procedures for the RISC-V instruction set architecture