Beast code in Giters

PLRG@KAIST's repositories

jiset

JISET: JavaScript IR-based Semantics Extraction Toolchain

Language:JavaScript38 9 192

jest

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

Language:ScalaNOASSERTION12 70

jstar

JSTAR: JavaScript Specification Type Analyzer using Refinement

Language:PythonNOASSERTION12 6 2

concrat

Concurrent-C to Rust Automatic Translator

Language:RustMIT1100

codeql

Language:CodeQL500

jsaver

JSAVER: JavaScript Static Analyzer via ECMAScript Representation

Language:JavaScriptNOASSERTION5 60

ires

Intermediate Representations for ECMAScript Specifications

Language:Scala300

fhetest

Language:Scala200

nopcrat

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

Language:RustMIT200

safe-ds

Language:JavaScriptNOASSERTION200

citation-graph

Language:Python100

cs408e-fall-2018

Language:HTML1 40

esmeta

ECMAScript Specification (ECMA-262) Metalanguage

Language:ScalaBSD-3-Clause100

FBLFS

Formal Binary Lifter with Filtered Simulation

Language:OCaml100

python-analyzer

Python analysis framework in Scala

Language:TeX100

simcrat

Signature-Modernizing C-to-Rust Automatic Translator

Language:RustMIT100

urcrat

Union-Removing C-to-Rust Automatic Translator

Language:RustMIT100

jalangi2

Dynamic analysis framework for JavaScript

Language:JavaScriptApache-2.0000

jestfs-paper

Study of Babel

Language:TeX050

safe

Scalable Analysis Framework for ECMAScript

Language:JavaScriptNOASSERTION000

cs496_converter

CS496 Flow Camp Participant Selection

Language:Scala000

J2V8

Java Bindings for V8

Language:Java000

spectec

Wasm SpecTec specification tools

Language:WebAssemblyNOASSERTION000

T2-FHE-Compiler-and-Benchmarks

A cross compiler and standardized benchmarks for fully homomorphic encryption

Language:JavaMIT000

TensorFlow-Examples

TensorFlow Tutorial and Examples for Beginners (support TF v1 & v2)

Language:Jupyter NotebookNOASSERTION000