Pinned Repositories
abstract-machines-in-coq-oplss22
Coq version of Paul Downen's OPLSS22 tutorial on abstract machines
adapting-verified-compilation
Repository containing the Coq development accompanying my senior thesis, Adapting Verified Compilation for Target-Language Errors.
bedrock2
A work-in-progress language and compiler for verified low-level programming
book
Owl Tutorial Book V1
ccac
Automated tool to formally verify congestion control algorithms and find bugs in them
coqutil
Coq library for tactics, basic definitions, sets, maps
dynamic-reflection
pratapsingh1729.github.io
Personal website
riscv-semantics
A formal semantics of the RISC-V ISA in Haskell
owl
Compositional Verification of Security Protocols
pratapsingh1729's Repositories
pratapsingh1729/dynamic-reflection
pratapsingh1729/pratapsingh1729.github.io
Personal website
pratapsingh1729/abstract-machines-in-coq-oplss22
Coq version of Paul Downen's OPLSS22 tutorial on abstract machines
pratapsingh1729/adapting-verified-compilation
Repository containing the Coq development accompanying my senior thesis, Adapting Verified Compilation for Target-Language Errors.
pratapsingh1729/bedrock2
A work-in-progress language and compiler for verified low-level programming
pratapsingh1729/book
Owl Tutorial Book V1
pratapsingh1729/ccac
Automated tool to formally verify congestion control algorithms and find bugs in them
pratapsingh1729/coqutil
Coq library for tactics, basic definitions, sets, maps
pratapsingh1729/riscv-semantics
A formal semantics of the RISC-V ISA in Haskell
pratapsingh1729/haskell-wordle
A simple Wordle implementation, built to learn Haskell
pratapsingh1729/NeuralNetwork
pratapsingh1729/ocaml-getrusage
An OCaml binding to the Unix system call getrusage.
pratapsingh1729/owl
Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz
pratapsingh1729/verus
Verified Rust for low-level systems code
pratapsingh1729/verusfmt
An Opinionated Formatter for Verus