PLRG@KAIST

Popular repositories Loading

1. jiset jiset Public

   JISET: JavaScript IR-based Semantics Extraction Toolchain

   JavaScript 41 9

2. spectecx spectecx Public

   An executable subset of the SpecTec mechanization framework

   OCaml 25 6

3. codeql codeql Public

   CodeQL 24 2

4. p4-spectec p4-spectec Public

   Mechanization toolchain for the P4 programming language

   OCaml 24 12

5. QASMInfer QASMInfer Public

   Rocq Prover 18

6. simcrat simcrat Public

   Type-Migrating C-to-Rust Automatic Translator

   Rust 16 7