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-driving 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/data-structures-playground
A webapp for learning how to manipulate data structures with code.
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/alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
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/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
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/k
K Framework Tools 5.0
SethPoulsen/math-lm
SethPoulsen/MathBERT
SethPoulsen/Pecan
An automated theorem prover that uses Büchi automata.
SethPoulsen/PrairieLearn
Online problem-driving learning system
SethPoulsen/pyright
Static type checker for Python
SethPoulsen/RunestoneComponents
Packaging of the Runestone tools for publishing educational materials using github pages
SethPoulsen/SampleSmsApp
It fetches all the inbox messages ,shows if message if read or unread .It also shows notification as soon as Sms received in the device.
SethPoulsen/scaffolded-writing
SethPoulsen/sklearn-crfsuite
scikit-learn inspired API for CRFsuite
SethPoulsen/sortphotos
SortPhotos is a Python script that organizes photos and videos into folders using date/time information
SethPoulsen/spartan-type-theory
Spartan type theory
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