Andrew Parisi's repositories
intuitionist_bot
A twitter bot that decides whether a formula is an intuitionistic validity and tweets the result.
ModalTheoremProver
A Theorem prover for Any Modal Logic using Tree Hypersequents
Uconn-LaTeX-Dissertation-Template
This is a template for formatting a dissertation in LaTeX according to the University of Connecticut's specifications
battleship
A Battleship game so I can try out c++
diranger
Like Dired if it were Ranger (ish)
dummett-library
Search Dummett's Works
gradeapp
A gradebook program written using python and tkinter.
hello-world
This is a practice project.
IntuitionisticTheoremProver
An app for proving or generating counter-examples for formulas of intuitionistic logic.
phoenix
A lightweight macOS window and app manager scriptable with JavaScript
spacephoenix
A clojurescript phoenix manager
time-sheet
A way of recording hours worked per week
tmuxmacs
Control tmux from within emacs
vimanzo
A vim plugin (just a breakable toy so far, folks) to manage anzo from within vim. The goal is to make a lightweight client for Anzo devops that is usable in any environment.
vimconfig
This repository stores all of my .vim files. This way they are version controlled and synced across computers.