sanpoyur
Undergrad '24 in CS & Math. Interested in formal methods in PL.
University of Wisconsin-MadisonMadison, WI | Shenzhen, GD
Pinned Repositories
fp-lean
Functional Programming in Lean
Involution
ostep-typos
bplus-tree
My B+ tree implementation in C++
minisk
A mini prototype for solving very basic SemGuS problems with Sketch. An advanced implementation is in another repo for full support.
sketchup
🔨 build sketch from scratch
smalftt
🍰 (WIP) a small logical framework based on dependent type theory
sanpoyur
Semgus-Parser
Library and tool for parsing SemGuS specifications