lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Coq.
Portland State UniversityPortland, OR
Pinned Repositories
ClairvoyanceMonad
The Coq formalization of the paper Reasoning about the garden of forking paths.
DTScala
Dependent Types in Scala
HaskellTheoremProver
A theorem proving framework for intuitionistic and classical propositional logics in Haskell.
MINIX-3.1.7-Lottery-Scheduler
A patch to implement lottery scheduling policy on MINIX 3.1.7.
scala-forklift
Type-safe data migration tool for Slick, Git and beyond.
Tricks-Museum
a collection for interesting code tricks
WebSpec
hs-to-coq
Convert Haskell source code to Coq source code.
QuickChick
Randomized Property-Based Testing Plugin for Coq
lastland's Repositories
lastland/MINIX-3.1.7-Lottery-Scheduler
A patch to implement lottery scheduling policy on MINIX 3.1.7.
lastland/Network-Assignments
My assignments for Jingyu Zhou's network course.
lastland/rrpostgetter
统计人人网热门日志的常见词语及其出现频率
lastland/ClassExchange
lastland/Life-clj
A simple implementation of Conway's Game of Life in Clojure.