Pinned Repositories
quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
bp
factor
limestone
packrat
prompt
snake
A collection of Racket programs that simulate and evolve (hopefully coming soon?) a "snake" - a non-deterministic cellular automaton. GNU GPL 3 or later.
third_person_mod
A datapack for a Minecraft modpack I'm working on, packaged into a mod.
third_person_scripts
Scripts that are being used in my Third Person modpack.
vsbrowser
TheGreatCatAdorer's Repositories
TheGreatCatAdorer/bp
TheGreatCatAdorer/factor
TheGreatCatAdorer/limestone
TheGreatCatAdorer/packrat
TheGreatCatAdorer/prompt
TheGreatCatAdorer/snake
A collection of Racket programs that simulate and evolve (hopefully coming soon?) a "snake" - a non-deterministic cellular automaton. GNU GPL 3 or later.
TheGreatCatAdorer/third_person_mod
A datapack for a Minecraft modpack I'm working on, packaged into a mod.
TheGreatCatAdorer/third_person_scripts
Scripts that are being used in my Third Person modpack.
TheGreatCatAdorer/vsbrowser