pratapsingh1729

pratapsingh1729's Stars

• jaybosamiya/latex-paper-template

  :book: A template to get quickly started with any LaTeX project. Features a very convenient build system, using latexrun.

  Language:Python91

• mit-plv/bedrock2

  A work-in-progress language and compiler for verified low-level programming

  Language:Coq30045

• njohnson99/slice-discovery-human-eval

  Public repository for "Where Does My Model Underperform? A Human Evaluation of Slice Discovery Algorithms".

  Language:Jupyter Notebook4

• cloudflare/boringtun

  Userspace WireGuard® Implementation in Rust

  Language:Rust6.2k424

• secure-foundations/owl

  Compositional Verification of Security Protocols

  Language:Haskell112

• secure-foundations/veri-datalog

  Verified Datalog

  Language:Dafny52

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.3k77

• daniellustig/riscv-memory-model

  A formalization of the RVWMO (RISC-V) memory model

  Language:Alloy312

• mit-plv/riscv-semantics

  A formal semantics of the RISC-V ISA in Haskell

  Language:Haskell16016

• WasmCert/WasmCert-Coq

  A mechanisation of Wasm in Coq

  Language:Coq10111

• namin/rop

  reflection-oriented programming

  Language:Scheme131

• cs61/cs61-lectures

  CS61 lecture material

  Language:C++9684

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.6k1.1k

• owlbarn/owl

  Owl - OCaml Scientific Computing @ https://ocaml.xyz

  Language:OCaml1.2k124