Chris Grossack's repositories
Haskell-Python-Interop-Tutorial
A Tic Tac Toe game to teach the basics of passing Python lists to Haskell code.
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
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
imperativeSML
a brainfuck interpreter in SML
lie-group-notes
A typeset version of notes from John Baez's Lie Groups class -- to be bookified
LissajousGenerator
A program to generate Lissajous curves and matching audio from user defined parameters
NHS-Tutoring
A python flask website to automatically assign tutors for NHS
rightAngledArtinGroups
Some ideas and sage code on raags
snsWebsite
Official website for Carnegie Mellon's Scotch'n'Soda Theatre
tf2ChatSpamGenerator
Automatically generate a tf2 .cfg file which cycles through messages every time you push a key
vimperator-plugins
for Vimperator plugins
vimperator-plugins-1
Set of plugins for vimperator.
vimperatorPlugins
Plugins to extend vimperator and/or make it interface with other plugins