Li Yao's repositories
scala-forklift
Type-safe data migration tool for Slick, Git and beyond.
ClairvoyanceMonad
The Coq formalization of the paper Reasoning about the garden of forking paths.
play-slick-forklift-example
An example of doing database migration using play, play-slick, and scala-forklift.
PTSemForEffects
A Coq formalization of the paper "A Predicate Transformer Semantics for Effects (Functional Pearl)"
lastland.github.io
Personal web page.
ProgramAdverbs
The Coq formalization of the paper Program Adverbs and Tlön Embeddings by Yao Li and Stephanie Weirich, published at ICFP 2022.
GHC-Core-Literature-Review
Literature review of GHC's Core language, System FC
HasChor
Functional choreographic programming in Haskell
haskell-ci
Writing CI configurations with Haskell (a better name is needed)
homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
hs-to-coq-1
Convert Haskell source code to Coq source code.
icfp22-layered-monadic-interpreters
artifact for ICFP'22 paper "Formal Reasoning About Layered Monadic Interpreters"
InteractionTrees
Formalization of the Interaction Tree Datatype in Coq
ml-for-proofs
An open bibliography of machine learning for formal proof papers
plclub-web
A Hakyll [plclub] website (https://www.cis.upenn.edu/~plclub/)