Skip to content
@kaist-plrg

PLRG@KAIST

Popular repositories Loading

  1. jiset jiset Public

    JISET: JavaScript IR-based Semantics Extraction Toolchain

    JavaScript 41 8

  2. jstar jstar Public

    JSTAR: JavaScript Specification Type Analyzer using Refinement

    Python 14 2

  3. concrat concrat Public

    Concurrent-C to Rust Automatic Translator

    Rust 14 4

  4. jest jest Public

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

    Scala 13 2

  5. codeql codeql Public

    CodeQL 6 2

  6. jsaver jsaver Public

    JSAVER: JavaScript Static Analyzer via ECMAScript Representation

    JavaScript 5 1

Repositories

Showing 10 of 25 repositories
  • FIBLE Public

    Filtered Binary Lifting and Execution

    kaist-plrg/FIBLE’s past year of commit activity
    OCaml 2 0 0 0 Updated Nov 22, 2024
  • nopcrat Public

    No-Ouput-Parameter C-to-Rust Automatic Translator

    kaist-plrg/nopcrat’s past year of commit activity
    Rust 4 MIT 1 0 0 Updated Nov 5, 2024
  • python-analyzer Public

    Python analysis framework in Scala

    kaist-plrg/python-analyzer’s past year of commit activity
    TeX 2 0 2 0 Updated Nov 5, 2024
  • spectec Public Forked from Wasm-DSL/spectec

    Wasm SpecTec specification tools

    kaist-plrg/spectec’s past year of commit activity
    WebAssembly 0 489 0 0 Updated Oct 8, 2024
  • T2-FHE-Compiler-and-Benchmarks Public Forked from TrustworthyComputing/T2-FHE-Compiler-and-Benchmarks

    A cross compiler and standardized benchmarks for fully homomorphic encryption

    kaist-plrg/T2-FHE-Compiler-and-Benchmarks’s past year of commit activity
    Java 0 MIT 6 2 0 Updated Sep 23, 2024
  • fhetest Public
    kaist-plrg/fhetest’s past year of commit activity
    Scala 2 1 6 0 Updated Sep 20, 2024
  • urcrat Public

    Union-Removing C-to-Rust Automatic Translator

    kaist-plrg/urcrat’s past year of commit activity
    Rust 3 MIT 1 0 0 Updated Aug 25, 2024
  • citation-graph Public
    kaist-plrg/citation-graph’s past year of commit activity
    Python 1 0 0 0 Updated Aug 19, 2024
  • simcrat Public

    Signature-Modernizing C-to-Rust Automatic Translator

    kaist-plrg/simcrat’s past year of commit activity
    Rust 5 MIT 4 0 0 Updated Aug 5, 2024
  • safe Public

    Scalable Analysis Framework for ECMAScript

    kaist-plrg/safe’s past year of commit activity
    JavaScript 0 0 0 0 Updated May 8, 2024
View all 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…