PLRG@KAIST's repositories
python-analyzer
Python analysis framework in Scala
jalangi2
Dynamic analysis framework for JavaScript
Language:JavaScriptApache-2.0000
jestfs-paper
Study of Babel
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