Li Yao

icon indicating a website link https://lastland.github.io/

icon company Portland State University icon location Portland, OR icon location Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Coq.

Results 4 repositories owned by Li Yao

scala-forklift

187
Stars
31
Forks
Watchers

Type-safe data migration tool for Slick, Git and beyond.

verified publisher icon lastland

ClairvoyanceMonad

24
Stars
2
Forks
Watchers

The Coq formalization of the paper Reasoning about the garden of forking paths.

verified publisher icon lastland

Tricks-Museum

24
Stars
4
Forks
Watchers

a collection for interesting code tricks

verified publisher icon lastland

WebSpec

17
Stars
2
Forks
Watchers

verified publisher icon lastland