Some Projects I Have Worked On:

Fun csound experiments, mostly just score generating programs written in C.

A simple game involving graphs. The game is pretty rough but as a proof of concept it works fine.

PixMapFun is a collection of programs for dealing with graphics in terms of ppm files. A lot of it comes from working through assorted sections of Fundamentals of Computer Graphics by Shirley et al.

This website was mostly just a modification of a project from the book ‘Flask By Example’

Like the text reminder website this project was mostly just a modificaion of code from the book ‘Flask By Example’

NDraw is a program written in C using ncurses for making simple terminal art.

QuizWFIO was written in C it can load and store and administer simple quizzes and features some hacky encryption for keeping the solutions unknown.

DB_CMD was written in C++, it features a scriptable command line interface as well as a gui interface which was written in tcl/tk.

AtEater was written in C++ the goal of the game is to eat all of the ‘@’ symbols on the map without getting eaten by the monsters (‘M’). The game engine is written for the command line, users can create their own maps with a text editor and the included map building program.

RandChord was written in C++ and uses tcl/tk for its gui. The program can also be run at the command line if the user chooses.

QuickMenu was written when I first started using dwm a minimal window manager with no gui launcher menu of its own. QuickMenu was written in tcl/tk.

QuickHelp was written for tracking configuration information for my computer. I was bouncing around between gentoo and archlinux at the time and needed a good way to track some of the more idiosyncratic bits and pieces of how I had configured my computer. It is written in a mix of bash and python.

This was written to add a convenient entry for searching the internet from QuickMenu. It is just a primitive tcl/tk wrapper around the command line interface to firefox.

LineDrawing is a set of functions for drawing some basic shapes and graphs at the commandline.

This was written before I knew much about data structures but after I had learned some of the basics of OOP. It features various implementations of Stacks, Linked Lists etc.

exprTest is a propositional logic prover which uses a proof procedure derived from the one in the book ‘Introduction To Logic’ by Harry Gensler. There is also a set of translation tools and testing tools for quickly building and testing different logical arguments. The random argument generator is written in lisp the prover and translator itself are written in C++. The prover can receive input in three modes but the most efficient is from the translator tool which generate a heredoc that runs against the main prover.

This is a port of the exprtest prover to windows. The main changes are that instead of generating a heredoc the windows version generates a batch script format.

TTP stands for “Taks Toy Processor” it is a processor design by Tak Auyeung the professor for my Introduction To Assembly Language class. The processor he designed was created in logisim, I wrote this to be able to run a version of his processor on The command line.

I mainly created this for two reasons, so I could play around with ttpsim on windows and so other people could do so as well.

I created the TTPAsm because the original assembler for the TTP was written as a google docs spreadsheet. This works well for the purpose of being cross platform and easily accesible to the class, but it is not the greatest for scripting purposes or for using other general purpose text processing utilities like m4. I was also very interested in writing my own assembler tool for the experience of having written one.

After completing the TTPSim port to windows I realized I would need an assembler on windows so I created a port of the TTPAsm program to windows.

The output formulas can be plaintext at the command line or as pdfs. The program can be run as a tcl/tk gui or command line program.

I created this prover after learning the tableau method from Graham Priests ‘An Introduction to Nonclassical Logic’.

I created this repository for cataloging various mathematical/programming experiments.

The main one is a filter for grabbing and displaying all the youtube links on a website. I use this one for getting all the youtube music links from some websites when I don’t actually care to read the content posted.

These aren’t really meant to be used by anybody but myself. I wrote them for fun while trouble shooting an old laptop of mine that was constantly overheating and shutting off. I used gnuplot for this one because I was unaware of any better solutions at the time.

I wrote these for fun to play around and learn more about matplotlib, regexes and tcpdump.

Rexpr was written to get some practice with javascript and as a proof of concept for a website that can generate mathematical practice problems, it is essentially an extension of the argbuilder scripts I had previously created.

exprWeb was created to allow people to use my provers from the web as well as to scratch an itch to develop a website with python and flask again.

This was built on top of engine for rexpr after I realized I could also randomly generate svg tags. The result is actually fairly aesthetically pleasineasing.