andrewppar
I have a PhD in logic and the foundations of mathematics, worked for a symbolic AI company, did some machine learning, and am working in security now.
CiscoCypress, TX, USA
Pinned Repositories
battleship
A Battleship game so I can try out c++
diranger
Like Dired if it were Ranger (ish)
dummett-library
Search Dummett's Works
emacs
Emacs configuration framework
intuitionist_bot
A twitter bot that decides whether a formula is an intuitionistic validity and tweets the result.
logos
A Proof Assistant for Philosophers
ModalTheoremProver
A Theorem prover for Any Modal Logic using Tree Hypersequents
poker
A draw poker game written in python using tkinter
timesheet
My Personal Timesheet
Uconn-LaTeX-Dissertation-Template
This is a template for formatting a dissertation in LaTeX according to the University of Connecticut's specifications
andrewppar's Repositories
andrewppar/logos
A Proof Assistant for Philosophers
andrewppar/poker
A draw poker game written in python using tkinter
andrewppar/intuitionist_bot
A twitter bot that decides whether a formula is an intuitionistic validity and tweets the result.
andrewppar/ModalTheoremProver
A Theorem prover for Any Modal Logic using Tree Hypersequents
andrewppar/timesheet
My Personal Timesheet
andrewppar/Uconn-LaTeX-Dissertation-Template
This is a template for formatting a dissertation in LaTeX according to the University of Connecticut's specifications
andrewppar/battleship
A Battleship game so I can try out c++
andrewppar/diranger
Like Dired if it were Ranger (ish)
andrewppar/dummett-library
Search Dummett's Works
andrewppar/emacs
Emacs configuration framework
andrewppar/gradeapp
A gradebook program written using python and tkinter.
andrewppar/hello-world
This is a practice project.
andrewppar/IntuitionisticTheoremProver
An app for proving or generating counter-examples for formulas of intuitionistic logic.
andrewppar/janet-nrepl
Emacs nrepl client for janet
andrewppar/notwapo-cljs
andrewppar/phoenix
A lightweight macOS window and app manager scriptable with JavaScript
andrewppar/sat-solver
andrewppar/spacephoenix
A clojurescript phoenix manager
andrewppar/time-sheet
A way of recording hours worked per week
andrewppar/tmuxmacs
Control tmux from within emacs
andrewppar/turtle
andrewppar/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.
andrewppar/vimconfig
This repository stores all of my .vim files. This way they are version controlled and synced across computers.