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/robottwo
Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
SethPoulsen/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.
SethPoulsen/amy-ko-faculty
Amy's faculty webpage
SethPoulsen/ChatGPT-TestAutoGrader
SethPoulsen/Compact-Transformers
[Preprint] Escaping the Big Data Paradigm with Compact Transformers, 2021
SethPoulsen/cpbook-code
CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)
SethPoulsen/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
SethPoulsen/datajoint-tutorials
Getting started materials for DataJoint - with Calcium Imaging, Electrophysiology, Machine Learning examples
SethPoulsen/Doing-Meta-Analysis-in-R
All R code and source files for the online guide "Doing Meta-Analysis with R: A Hands-On Guide"
SethPoulsen/evals
Evals is a framework for evaluating OpenAI models and an open-source registry of benchmarks.
SethPoulsen/gilp
A Python package for visualizing the geometry of linear programs.
SethPoulsen/joplin
Joplin - the secure note taking and to-do app with synchronisation capabilities for Windows, macOS, Linux, Android and iOS.
SethPoulsen/math-lm
SethPoulsen/pl-oer-csmix
SethPoulsen/pl-oer-dynamics
SethPoulsen/pl-oer-numericalMethods
SethPoulsen/pl-oer-physics1
SethPoulsen/pl-oer-physics2
SethPoulsen/pl-oer-python
SethPoulsen/pl-oer-solidMechanics
SethPoulsen/pl-oer-statics
SethPoulsen/pl-oer-thermodynamics
SethPoulsen/pl-prairielearn101
Showcase of PrairieLearn, sample questions, new elements, cool questions
SethPoulsen/PrairieLearn
Online problem-driving learning system
SethPoulsen/RunestoneComponents
Packaging of the Runestone tools for publishing educational materials using github pages
SethPoulsen/scaffolded-writing
SethPoulsen/sklearn-crfsuite
scikit-learn inspired API for CRFsuite
SethPoulsen/sympy
A computer algebra system written in pure Python
SethPoulsen/wake-on-plug
Scripts to make my laptop wake on plug and sleep on unplug
SethPoulsen/WRS
Wilcox' Robust Statistics