Pinned Repositories
abelianAutomata
A git repo of my research on Abelian Automata Groups
Blog
It's my website, grossack.site
cohomologyOfAutomaticGroups
A git repo of my research in the cohomology of automatic groups
dotfiles
A detailed look into how I use a computer
guiControl
Control a system's GUI through the terminal
Haskell-Python-Interop-Tutorial
A Tic Tac Toe game to teach the basics of passing Python lists to Haskell code.
hsClac
A RPN calculator in the terminal
imperativeSML
a brainfuck interpreter in SML
LanguageExpander
Takes a description of (a family of) extensions by definition, and outputs a program that converts between the extensions
model-checker
A semidecidable Model Checker for arbitrary synchronous models
HallaSurvivor's Repositories
HallaSurvivor/Haskell-Python-Interop-Tutorial
A Tic Tac Toe game to teach the basics of passing Python lists to Haskell code.
HallaSurvivor/dotfiles
A detailed look into how I use a computer
HallaSurvivor/hsClac
A RPN calculator in the terminal
HallaSurvivor/LanguageExpander
Takes a description of (a family of) extensions by definition, and outputs a program that converts between the extensions
HallaSurvivor/model-checker
A semidecidable Model Checker for arbitrary synchronous models
HallaSurvivor/abelianAutomata
A git repo of my research on Abelian Automata Groups
HallaSurvivor/Blog
It's my website, grossack.site
HallaSurvivor/cohomologyOfAutomaticGroups
A git repo of my research in the cohomology of automatic groups
HallaSurvivor/guiControl
Control a system's GUI through the terminal
HallaSurvivor/imperativeSML
a brainfuck interpreter in SML
HallaSurvivor/lie-group-notes
A typeset version of notes from John Baez's Lie Groups class -- to be bookified
HallaSurvivor/LissajousGenerator
A program to generate Lissajous curves and matching audio from user defined parameters
HallaSurvivor/mineEye
2D platformer Brian and I are building for kicks
HallaSurvivor/NHS-Tutoring
A python flask website to automatically assign tutors for NHS
HallaSurvivor/Pykemon
HallaSurvivor/rightAngledArtinGroups
Some ideas and sage code on raags
HallaSurvivor/snsWebsite
Official website for Carnegie Mellon's Scotch'n'Soda Theatre
HallaSurvivor/tf2ChatSpamGenerator
Automatically generate a tf2 .cfg file which cycles through messages every time you push a key
HallaSurvivor/vimperator-plugins
for Vimperator plugins
HallaSurvivor/vimperator-plugins-1
Set of plugins for vimperator.
HallaSurvivor/vimperatorPlugins
Plugins to extend vimperator and/or make it interface with other plugins