Shad Amethyst amethyst
1 Followers · 0 Following
Repositories Packages Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
across-the-hex
TypeScript 0 0

A small multiplayer strategy game, played turn by turn on a hexagonal grid, focusing on expansion and extermination.

Updated 10 months ago

basic-to-mindustry
Rust 0 0

An optimizing transpiler from BASIC to Mindustry Logic

Updated 7 months ago

rubin-lean4
Lean 0 1

Updated 4 months ago

semantics-2023
Coq 0 0

My answers to https://gitlab.mpi-sws.org/FP/semantics-2023

Updated 4 months ago

sort-image
Rust 0 0

Beware, this is some very janky code

Updated 1 week ago