Projects in Awesome Lists by ThePuzzlemaker
A curated list of projects in awesome lists by ThePuzzlemaker .
https://github.com/thepuzzlemaker/tethys
A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
Last synced: 25 Jul 2025
https://github.com/thepuzzlemaker/river
A very WIP RISCV64 OS written in Rust to learn about low-level and OS development. Read-only mirror from sr.ht
Last synced: 06 Mar 2026
https://github.com/thepuzzlemaker/rtfm
Open the Arch Wiki search page for a string from the command line
Last synced: 25 Jul 2025
https://github.com/thepuzzlemaker/cargo-crates
A cargo command to quickly open the crates.io or docs.rs page for the latest version of a crate.
Last synced: 25 Jul 2025
https://github.com/thepuzzlemaker/sysf-rs
A work-in-progress (and bad) implementation of a System F typechecker (WIP) and evaluator (not started yet).
Last synced: 24 Mar 2025
https://github.com/thepuzzlemaker/kerbaltoolkit
A mission planning and trajectory design program for Kerbal Space Program
Last synced: 12 Feb 2026
https://github.com/thepuzzlemaker/cargo-whatis
Quickly show the description of a crate or all of the local crate's dependencies. Inspired by cargo-whatfeatures and man-db's whatis.
Last synced: 24 Mar 2025
https://github.com/thepuzzlemaker/knight.rkt
An implementation of @sampersand's Knight (https://github.com/knight-lang/knight-lang) in Racket
Last synced: 19 Mar 2026
https://github.com/thepuzzlemaker/pencil
[WIP] Pencil: A flexible and simple-to-use PaperMC server wrapper.
Last synced: 24 Mar 2025
https://github.com/thepuzzlemaker/knight.wat
A (very) WIP implementation of Knight (https://github.com/knight-lang) in WAT+WASI because I love pain
Last synced: 24 Mar 2025
https://github.com/thepuzzlemaker/knight.lisp
An implementation of @sampersand's Knight (https://github.com/knight-lang/knight-lang) in Common Lisp (specifically, SBCL)
Last synced: 06 Jan 2026
https://github.com/thepuzzlemaker/task-list
A simple Rust program to track tasks to do regularly. It does not save completed tasks.
Last synced: 24 Mar 2025
https://github.com/thepuzzlemaker/workabletemp
A Vintage Story mod to show the workable temperature for all workable items.
Last synced: 05 Nov 2025
https://github.com/thepuzzlemaker/knight.clj
WIP (bad) implementation of sampersand's Knight in Clojure.
Last synced: 13 Aug 2025
https://github.com/thepuzzlemaker/co2
CO₂: Human ciphers, implemented in Rust.
Last synced: 30 Jun 2025
https://github.com/thepuzzlemaker/ocprograms
Random opencomputers programs that I'm sharing here
Last synced: 24 Mar 2025
https://github.com/thepuzzlemaker/mcmaputils
Utilties for converting images to and from Minecraft maps
Last synced: 24 Mar 2025
https://github.com/thepuzzlemaker/ksp-alphapatch
KSP patch for alphanumeric ordering of file loading on unordered filesystems such as btrfs and FAT32
Last synced: 24 Mar 2025
https://github.com/thepuzzlemaker/dotfiles
A collection of my dotfiles. This will expand every once in a while.
Last synced: 24 Mar 2025