Seth Poulsen's repositories
data-structures-playground
A webapp for learning how to manipulate data structures with code.
alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
amy-ko-faculty
Amy's faculty webpage
Compact-Transformers
[Preprint] Escaping the Big Data Paradigm with Compact Transformers, 2021
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.
cpbook-code
CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)
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.
datajoint-tutorials
Getting started materials for DataJoint - with Calcium Imaging, Electrophysiology, Machine Learning examples
Doing-Meta-Analysis-in-R
All R code and source files for the online guide "Doing Meta-Analysis with R: A Hands-On Guide"
evals
Evals is a framework for evaluating OpenAI models and an open-source registry of benchmarks.
gilp
A Python package for visualizing the geometry of linear programs.
joplin
Joplin - the secure note taking and to-do app with synchronisation capabilities for Windows, macOS, Linux, Android and iOS.
k
K Framework Tools 5.0
Pecan
An automated theorem prover that uses Büchi automata.
PrairieLearn
Online problem-driving learning system
pyright
Static type checker for Python
RunestoneComponents
Packaging of the Runestone tools for publishing educational materials using github pages
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.
sklearn-crfsuite
scikit-learn inspired API for CRFsuite
sortphotos
SortPhotos is a Python script that organizes photos and videos into folders using date/time information
spartan-type-theory
Spartan type theory
sympy
A computer algebra system written in pure Python
wake-on-plug
Scripts to make my laptop wake on plug and sleep on unplug
WRS
Wilcox' Robust Statistics