hallasurvivor Goto Github PK

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

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

mineeye

2D platformer Brian and I are building for kicks

model-checker

A semidecidable Model Checker for arbitrary synchronous models

nhs-tutoring

A python flask website to automatically assign tutors for NHS

pykemon

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