James [Undefined]'s Projects
agda-mode on VS Code
Advent of Code solutions
A blog-like thing with mdBook
A cargo command to quickly open the crates.io or docs.rs page for the latest version of a crate.
Quickly show the description of a crate or all of the local crate's dependencies. Inspired by cargo-whatfeatures and man-db's whatis.
CO₂: Human ciphers, implemented in Rust.
WIP - Type-safe runtime text formatting for humans.
A collection of my dotfiles. This will expand every once in a while.
"funkters" in Rust
GDLauncher is a simple, yet powerful Minecraft custom launcher with a strong focus on the user experience
GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux
benchmark gwion against other languages
A textbook on informal homotopy type theory
Interning of data in rust
K-dimensional tree in Rust for fast geospatial indexing and lookup
The Knight Programming Language
WIP (bad) implementation of sampersand's Knight in Clojure.
An implementation of @sampersand's Knight (https://github.com/knight-lang/knight-lang) in Common Lisp (specifically, SBCL)
An implementation of @sampersand's Knight (https://github.com/knight-lang/knight-lang) in Racket
A (very) WIP implementation of Knight (https://github.com/knight-lang) in WAT+WASI because I love pain
Remote Procedure Calls for Kerbal Space Program
KSP patch for alphanumeric ordering of file loading on unordered filesystems such as btrfs and FAT32
Utilties for converting images to and from Minecraft maps
A purely-functional concatenative programming language
Project Apollo - NASSP
Infrastructure for hosting pwn challenges over TCP
The Dark Arts of Advanced and Unsafe Rust Programming
Random opencomputers programs that I'm sharing here
[WIP] Pencil: A flexible and simple-to-use PaperMC server wrapper.
A very WIP RISCV64 OS written in Rust to learn about low-level and OS development. Read-only mirror from sr.ht