Name: Andrew Parisi
Type: User
Company: Cisco
Bio: 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.
Location: Cypress, TX, USA
Blog: https://andrewparisi.weebly.com
Andrew Parisi's Projects
A Battleship game so I can try out c++
Manage code issues and PRs
Like Dired if it were Ranger (ish)
Search Dummett's Works
A gradebook program written using python and tkinter.
This is a practice project.
A twitter bot that decides whether a formula is an intuitionistic validity and tweets the result.
An app for proving or generating counter-examples for formulas of intuitionistic logic.
Emacs nrepl client for janet
A Proof Assistant for Philosophers
A Theorem prover for Any Modal Logic using Tree Hypersequents
Investigate a network from emacs
A lightweight macOS window and app manager scriptable with JavaScript
A draw poker game written in python using tkinter
A clojurescript phoenix manager
A way of recording hours worked per week
My Personal Timesheet
Control tmux from within emacs
This is a template for formatting a dissertation in LaTeX according to the University of Connecticut's specifications
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.
This repository stores all of my .vim files. This way they are version controlled and synced across computers.