SethPoulsen
Assistant Professor at Utah State University. Previously PhD student at University of Illinois, software developer at Amazon.
@UtahState
Pinned Repositories
pyret-lang
The Pyret language.
boogie-semantics
PrairieLearn
Online problem-driven learning system
RunestoneComponents
Packaging of the Runestone tools for publishing educational materials using github pages
data-structures-playground
A webapp for learning how to manipulate data structures with code.
robotone
The 'robotone' theorem prover. Fork of github.com/mg262/research and customized towards MATH-332 Real Analysis I course at College of Wooster, OH.
robottwo
Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
rust-datastructures
Basic data structures and algorithms in Rust
vscode-language-pyret
SethPoulsen's Repositories
SethPoulsen/vscode-language-pyret
SethPoulsen/automatatutor-data
Solutions submitted on Automata Tutor
SethPoulsen/bigint
A lightweight big integer library for c++
SethPoulsen/detexify-hs-backend
Detexify Backend written in Haskell
SethPoulsen/math-blockly
A system for building and manipulating mathematical expressions using Blockly.
SethPoulsen/pyret-codemirror-mode
The Pyret CodeMirror mode, including default CSS, indenting, keyword matching, and syntax highlighting
SethPoulsen/pyret-docs
The documentation for Pyret.
SethPoulsen/StoreMapper
Organize your shopping list by aisle.
SethPoulsen/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.
SethPoulsen/WRScpp
WRScpp