Repositories list

• spectec

  Public
  Wasm SpecTec specification tools

  WebAssembly

  •

  Other

  •454•0•0•0•Updated Jan 20, 2025Jan 20, 2025

• forcrat

  Public
  Rust

  •

  MIT License

  •0•0•0•0•Updated Jan 16, 2025Jan 16, 2025

• FIBLE

  Public
  Filtered Binary Lifting and Execution

  OCaml

  •0•2•0•0•Updated Jan 16, 2025Jan 16, 2025

• T2-FHE-Compiler-and-Benchmarks

  Public
  A cross compiler and standardized benchmarks for fully homomorphic encryption

  Java

  •

  MIT License

  •6•0•2•0•Updated Jan 9, 2025Jan 9, 2025

• fhetest

  Public
  Scala

  •1•2•6•0•Updated Jan 6, 2025Jan 6, 2025

• jestfs-paper

  Public
  Study of Babel

  TeX

  •0•0•0•0•Updated Jan 2, 2025Jan 2, 2025

• coreutils-static

  Public
  fork of https://github.com/VHSgunzo/coreutils-static.git

  Shell

  •

  MIT License

  •0•0•0•0•Updated Dec 24, 2024Dec 24, 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

• 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

  crusttranslation+ 1signature

  Rust

  •

  MIT License

  •5•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

  •16•1•0•0•Updated Feb 15, 2024Feb 15, 2024

• codeql

  Public
  CodeQL

  •2•6•1•0•Updated Oct 30, 2023Oct 30, 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

  crusttranslation+ 1mutex

  Rust

  •

  MIT License

  •4•15•0•0•Updated Jan 26, 2023Jan 26, 2023

• jiset

  Public
  JISET: JavaScript IR-based Semantics Extraction Toolchain

  JavaScript

  •9•41•1•19•Updated Jan 7, 2023Jan 7, 2023

• jsaver

  Public
  JSAVER: JavaScript Static Analyzer via ECMAScript Representation

  JavaScript

  •

  Other

  •1•6•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

  •358•0•0•0•Updated Aug 14, 2020Aug 14, 2020

• cs408e-fall-2018

  Public
  HTML

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