Popular repositories Loading

1. jiset jiset Public

   JISET: JavaScript IR-based Semantics Extraction Toolchain

   JavaScript 41 9

2. codeql codeql Public

   CodeQL 24 2

3. p4-spectec p4-spectec Public

   Mechanization toolchain for the P4 programming language

   OCaml 22 11

4. QASMInfer QASMInfer Public

   Rocq Prover 18

5. concrat concrat Public

   Concurrent-C to Rust Automatic Translator

   Rust 15 5

6. jest jest Public

   JEST: N+1-version Differential Testing of Both JavaScript Engines

   Scala 14 2