dunnl

Lawrence Dunn's repositories

A Coq library for abstract syntactical reasoning

Language:CoqMIT22 2 1

A deep embedding of propositional logic in Coq

Language:Coq3 10

Toy web game with websockets, Spock, SQLite

Language:HaskellMIT2 20

A Haskell frontend for Tealeaves

Language:HaskellMIT1 20

Website for Tealeaves

Language:HTMLMIT1 20

A repo with a MWE for Coq issue 12043

Language:Makefile020

A PGF backend for diagrams

Language:HaskellBSD-3-Clause000

A repo for testing direct-sqlite Issue #67

Language:HaskellNOASSERTION020

Haskell diagrams-based Jupyter notebook containing images for a paper

Language:Jupyter Notebook000

A collection of useful .gitignore templates

CC0-1.0010

Template repo for HTML slideshows with Pandoc

000

Final project for UPenn Fall 2022 CIS7000-001

Language:JavaScriptMIT000