pratapsingh1729

Pinned Repositories

abstract-machines-in-coq-oplss22
Coq version of Paul Downen's OPLSS22 tutorial on abstract machines
Language:Coq0 2 00
adapting-verified-compilation
Repository containing the Coq development accompanying my senior thesis, Adapting Verified Compilation for Target-Language Errors.
Language:Coq0 1 00
bedrock2
A work-in-progress language and compiler for verified low-level programming
Language:Coq0 0 00
book
Owl Tutorial Book V1
Language:SCSS0 0 00
ccac
Automated tool to formally verify congestion control algorithms and find bugs in them
Language:Python0 0 00
coqutil
Coq library for tactics, basic definitions, sets, maps
Language:Coq0 0 00
dynamic-reflection
Language:Coq2 2 00
pratapsingh1729.github.io
Personal website
Language:HTML20
riscv-semantics
A formal semantics of the RISC-V ISA in Haskell
Language:Haskell0 0 00
owl
Compositional Verification of Security Protocols
Language:Haskell11 4 92

pratapsingh1729's Repositories

pratapsingh1729/dynamic-reflection
Language:Coq2 2 00
pratapsingh1729/pratapsingh1729.github.io
Personal website
Language:HTML20
pratapsingh1729/abstract-machines-in-coq-oplss22
Coq version of Paul Downen's OPLSS22 tutorial on abstract machines
Language:Coq0 2 00
pratapsingh1729/adapting-verified-compilation
Repository containing the Coq development accompanying my senior thesis, Adapting Verified Compilation for Target-Language Errors.
Language:Coq0 1 00
pratapsingh1729/bedrock2
A work-in-progress language and compiler for verified low-level programming
Language:Coq0 0 00
pratapsingh1729/book
Owl Tutorial Book V1
Language:SCSS0 0 00
pratapsingh1729/ccac
Automated tool to formally verify congestion control algorithms and find bugs in them
Language:Python0 0 00
pratapsingh1729/coqutil
Coq library for tactics, basic definitions, sets, maps
Language:Coq0 0 00
pratapsingh1729/riscv-semantics
A formal semantics of the RISC-V ISA in Haskell
Language:Haskell0 0 00
pratapsingh1729/haskell-wordle
A simple Wordle implementation, built to learn Haskell
Language:Haskell1 0
pratapsingh1729/NeuralNetwork
Language:Java1 0
pratapsingh1729/ocaml-getrusage
An OCaml binding to the Unix system call getrusage.
Language:C1 0
pratapsingh1729/owl
Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz
Language:OCaml
pratapsingh1729/verus
Verified Rust for low-level systems code
pratapsingh1729/verusfmt
An Opinionated Formatter for Verus
Language:Rust0 0
pratapsingh1729/vest
High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus
Language:Rust