Lawrence Dunn's repositories
tealeaves-frontend
A Haskell frontend for Tealeaves
tealeaves-site
Website for Tealeaves
coq-issue-12043
A repo with a MWE for Coq issue 12043
diagrams-pgf
A PGF backend for diagrams
Language:HaskellBSD-3-Clause000
direct-sqlite-iss67
A repo for testing direct-sqlite Issue #67
distributed-systems-art
Haskell diagrams-based Jupyter notebook containing images for a paper
pandoc-slides-template
Template repo for HTML slideshows with Pandoc
rewrite-live
Final project for UPenn Fall 2022 CIS7000-001