Pinned Repositories
bytestring-fiat
An implementation of the Haskell ByteString library using the Fiat system from MIT
coq-idt
Inductive definition transformers
CS307Demo
A simple repository for demoing git.
CS565Grader
docker-taype
fiat
Mostly Automated Synthesis of Correct-by-Construction Programs
fiat-asn.1
A formally verified ASN.1 compiler using Fiat.
repo-unstable
The repository for development packages.
SFExtras
Formalizations of a selection of programming language topics in the style of Software Foundations.
purduepl.github.io
A blog of Programming Languages Group @Purdue
bendy's Repositories
bendy/SFExtras
Formalizations of a selection of programming language topics in the style of Software Foundations.
bendy/bytestring-fiat
An implementation of the Haskell ByteString library using the Fiat system from MIT
bendy/coq-idt
Inductive definition transformers
bendy/CS307Demo
A simple repository for demoing git.
bendy/CS565Grader
bendy/docker-taype
bendy/fiat
Mostly Automated Synthesis of Correct-by-Construction Programs
bendy/fiat-asn.1
A formally verified ASN.1 compiler using Fiat.
bendy/repo-unstable
The repository for development packages.