Skip to content

@kaist-plrg PLRG@KAIST

Change the repository type filter

All

    Repositories list

    25 repositories

    • FIBLE

      Public
      Filtered Binary Lifting and Execution
      OCaml
      •0•2•0•0•Updated Nov 22, 2024Nov 22, 2024

    • nopcrat

      Public
      No-Ouput-Parameter C-to-Rust Automatic Translator
      Rust
      •
      MIT License
      •1•4•0•0•Updated Nov 5, 2024Nov 5, 2024

    • python-analyzer

      Public
      Python analysis framework in Scala
      TeX
      •0•2•2•0•Updated Nov 5, 2024Nov 5, 2024

    • spectec

      Public
      Wasm SpecTec specification tools
      WebAssembly
      •
      Other
      •454•0•0•0•Updated Oct 8, 2024Oct 8, 2024

    • T2-FHE-Compiler-and-Benchmarks

      Public
      A cross compiler and standardized benchmarks for fully homomorphic encryption
      Java
      •
      MIT License
      •6•0•2•0•Updated Sep 23, 2024Sep 23, 2024

    • fhetest

      Public
      Scala
      •1•2•6•0•Updated Sep 20, 2024Sep 20, 2024

    • urcrat

      Public
      Union-Removing C-to-Rust Automatic Translator
      Rust
      •
      MIT License
      •1•3•0•0•Updated Aug 25, 2024Aug 25, 2024

    • citation-graph

      Public
      Python
      •0•1•0•0•Updated Aug 19, 2024Aug 19, 2024

    • simcrat

      Public
      Signature-Modernizing C-to-Rust Automatic Translator
      crusttranslationsignature
      Rust
      •
      MIT License
      •4•5•0•0•Updated Aug 5, 2024Aug 5, 2024

    • safe

      Public
      Scalable Analysis Framework for ECMAScript
      JavaScript
      •
      Other
      •0•0•0•0•Updated May 8, 2024May 8, 2024

    • cs496_converter

      Public
      CS496 Flow Camp Participant Selection
      Scala
      •1•0•0•0•Updated May 5, 2024May 5, 2024

    • esmeta

      Public
      ECMAScript Specification (ECMA-262) Metalanguage
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •14•1•0•0•Updated Feb 15, 2024Feb 15, 2024

    • codeql

      Public
      CodeQL
      •2•6•1•0•Updated Oct 30, 2023Oct 30, 2023

    • jestfs-paper

      Public
      Study of Babel
      TeX
      •0•0•0•0•Updated Jun 21, 2023Jun 21, 2023

    • ires

      Public
      Intermediate Representations for ECMAScript Specifications
      Scala
      •2•3•1•5•Updated Mar 6, 2023Mar 6, 2023

    • concrat

      Public
      Concurrent-C to Rust Automatic Translator
      crusttranslationmutex
      Rust
      •
      MIT License
      •4•14•0•0•Updated Jan 26, 2023Jan 26, 2023

    • jiset

      Public
      JISET: JavaScript IR-based Semantics Extraction Toolchain
      JavaScript
      •8•41•1•19•Updated Jan 7, 2023Jan 7, 2023

    • jsaver

      Public
      JSAVER: JavaScript Static Analyzer via ECMAScript Representation
      JavaScript
      •
      Other
      •1•5•0•0•Updated Jul 26, 2022Jul 26, 2022

    • jstar

      Public
      JSTAR: JavaScript Specification Type Analyzer using Refinement
      Python
      •
      Other
      •2•14•0•0•Updated Feb 27, 2022Feb 27, 2022

    • TensorFlow-Examples

      Public
      TensorFlow Tutorial and Examples for Beginners (support TF v1 & v2)
      Jupyter Notebook
      •
      Other
      •15k•0•0•0•Updated Feb 21, 2022Feb 21, 2022

    • safe-ds

      Public
      JavaScript
      •
      Other
      •0•2•0•0•Updated Jul 10, 2021Jul 10, 2021

    • jest

      Public
      JEST: N+1-version Differential Testing of Both JavaScript Engines
      Scala
      •
      Other
      •2•13•0•0•Updated Jun 1, 2021Jun 1, 2021

    • jalangi2

      Public
      Dynamic analysis framework for JavaScript
      JavaScript
      •
      Apache License 2.0
      •119•0•0•0•Updated May 12, 2021May 12, 2021

    • J2V8

      Public
      Java Bindings for V8
      Java
      •355•0•0•0•Updated Aug 14, 2020Aug 14, 2020

    • cs408e-fall-2018

      Public
      HTML
      •1•1•0•0•Updated Dec 22, 2018Dec 22, 2018