Dan Welch's repositories
Arend
The Arend Proof Assistant
Language:JavaApache-2.0000
java-strictly-pretty
A Java implementation of Scala's (now deprecated) text prettyprinting package using pattern matching
Language:JavaISC000
logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
Language:Lean000
plfa-scratchwork
Programming language foundations in Agda
Language:Agda000
000
resilientL
Playing around with a resilient parser
Language:Java000
resolve-studio
IntelliJ IDEA Community Edition
Language:JavaApache-2.0000
resources
a general repo to store images for github classroom projects
000
sixty
Dependent type checker using normalisation by evaluation
Language:HaskellBSD-3-Clause000
SplittableMadness
This was a project for IST 242
Language:Java000
toy-language-server
Example language server (LSP) implementation for a toy language
BSD-3-Clause000