ThePuzzlemaker

tethys

A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht

river

A very WIP RISCV64 OS written in Rust to learn about low-level and OS development. Read-only mirror from sr.ht

cargo-crates

A cargo command to quickly open the crates.io or docs.rs page for the latest version of a crate.

sysf-rs

A work-in-progress (and bad) implementation of a System F typechecker (WIP) and evaluator (not started yet).

rtfm

Open the Arch Wiki search page for a string from the command line

knight.rkt

An implementation of @sampersand's Knight (https://github.com/knight-lang/knight-lang) in Racket

knight.wat

A (very) WIP implementation of Knight (https://github.com/knight-lang) in WAT+WASI because I love pain

pencil

[WIP] Pencil: A flexible and simple-to-use PaperMC server wrapper.

agda-mode-vscode

agda-mode on VS Code

curly

WIP - Type-safe runtime text formatting for humans.

GDLauncher

GDLauncher is a simple, yet powerful Minecraft custom launcher with a strong focus on the user experience

gef

GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux

HoTT-book

A textbook on informal homotopy type theory

internment

Interning of data in rust

knight-lang

The Knight Programming Language

knight.clj

WIP (bad) implementation of sampersand's Knight in Clojure.

knight.lisp

An implementation of @sampersand's Knight (https://github.com/knight-lang/knight-lang) in Common Lisp (specifically, SBCL)

krpc

Remote Procedure Calls for Kerbal Space Program

KSP-AlphaPatch

KSP patch for alphanumeric ordering of file loading on unordered filesystems such as btrfs and FAT32

mcmaputils

Utilties for converting images to and from Minecraft maps

NASSP

Project Apollo - NASSP

nomicon

The Dark Arts of Advanced and Unsafe Rust Programming

rust

Empowering everyone to build reliable and efficient software.

swipl-rs

task-list

A simple Rust program to track tasks to do regularly. It does not save completed tasks.

ThePuzzlemaker

GitHub profile README

ttrk

A time tracking program

wasm-corpus

wasm-tools

Low level tooling for WebAssembly in Rust

WorkableTemp

A Vintage Story mod to show the workable temperature for all workable items.