Pratap Singh's repositories
pratapsingh1729.github.io
Personal website
abstract-machines-in-coq-oplss22
Coq version of Paul Downen's OPLSS22 tutorial on abstract machines
Language:CoqMIT000
adapting-verified-compilation
Repository containing the Coq development accompanying my senior thesis, Adapting Verified Compilation for Target-Language Errors.
Language:Coq000
bedrock2
A work-in-progress language and compiler for verified low-level programming
Language:CoqMIT000
book
Owl Tutorial Book V1
Language:SCSSMIT000
ccac
Automated tool to formally verify congestion control algorithms and find bugs in them
Language:Python000
coqutil
Coq library for tactics, basic definitions, sets, maps
Language:CoqMIT000
riscv-semantics
A formal semantics of the RISC-V ISA in Haskell
Language:HaskellBSD-3-Clause000
haskell-wordle
A simple Wordle implementation, built to learn Haskell
Language:HaskellMIT000
Language:Java000
ocaml-getrusage
An OCaml binding to the Unix system call getrusage.
Language:CMIT000
owl
Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz
Language:OCamlMIT000