Lawrence Dunn's repositories
tealeaves-frontend
A Haskell frontend for Tealeaves
tealeaves-site
Website for Tealeaves
cis6700-final-pres
Final presentation for CIS6700 Spring 2024
Language:HTML000
Language:TeX000
coq-issue-12043
A repo with a MWE for Coq issue 12043
direct-sqlite-iss67
A repo for testing direct-sqlite Issue #67
distributed-systems-art
Haskell diagrams-based Jupyter notebook containing images for a paper
Language:Jupyter Notebook000
gitignore
A collection of useful .gitignore templates
CC0-1.0000
nixos-at-upenn
NixOS modules necessary for Penn life
nixpkgs
Nix Packages collection
MIT000
pandoc-slides-template
Template repo for HTML slideshows with Pandoc
000
rewrite-live
Final project for UPenn Fall 2022 CIS7000-001
Language:JavaScriptMIT000
tealeaves-art
Generating Tealeaves art with Haskell's diagrams package
Language:HaskellMIT000
tikz-generator
A Ruby script to convert TikZ files into images
Language:TeX000
verdi
A framework for formally verifying distributed systems implementations in Coq
Language:CoqBSD-2-Clause000