Skip to content

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

Repositories

Showing 10 of 37 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…