Rob Dickerson's Projects
My emacs configuration.
A simple BK-Tree implementation in Haskell
An extensible framework for working with program logics.
Miscellaneous configuration files I share between various *nix installations.
Mostly Automated Synthesis of Correct-by-Construction Programs
Faulty Reasoning over Input TransformationZ
Haskell implementation of Scheme interpreter from Abelson and Sussman's SICP.
Haskell bindings to Microsoft's Z3 API (unofficial).
Find alignments for relational program properties using e-graphs.
An automatic verifier for RHLE properties.
A blog of Programming Languages Group @Purdue
Verification tasks requiring relational hoare logic with existentials (RHLE).
Android Unit Testing Framework
Messing around with https://dl.acm.org/doi/10.1145/3408972
The Z3 Theorem Prover