SethPoulsen
Assistant Professor at Utah State University. Previously PhD student at University of Illinois, software developer at Amazon.
Repositories
Select a repository to view its commits, contributors, and more.robottwo
Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
data-structures-playground
A webapp for learning how to manipulate data structures with code.
rust-datastructures
Basic data structures and algorithms in Rust
WarGame
The only strategy that you can possibly use in the card game "War" is the order in which you place newly received cards on the bottom of your deck. I implemented a basic version of the game so that strategies could be tested against on another.
StoreMapper
Organize your shopping list by aisle.
pyret-cli-repl
A basic command line REPL for the Pyret programming language.
pyret.deb
Code for packaging the Pyret language compiler as a Debian package to be distributed through apt
sortPhotos-gui
Electron GUI for the python sortphotos app
homebrew-pyret
An experimental brew tap for the Pyret programming language.
beautiful-racket-tutorials
My code and notes while working through Matthew Butterick's book "Beautiful Racket"
wake-on-plug
Scripts to make my laptop wake on plug and sleep on unplug