Repositories list

• libneo4j-omni

  Public

  Compiler-Security/libneo4j-omni’s past year of commit activity
  A fork of libneo4j-omni focused on timely and aggressive bug fixes for the use of VAST

  C

  •

  Apache License 2.0

  •6•0•0•0•Updated Jan 4, 2026Jan 4, 2026

• Vast-CXX-Testcases

  Public

  Compiler-Security/Vast-CXX-Testcases’s past year of commit activity
  C++ IR generation testsuite for vast-fork

  C++

  •0•0•0•0•Updated Nov 21, 2025Nov 21, 2025

• DIReducer

  Public

  Compiler-Security/DIReducer’s past year of commit activity
  The code repository of DIReducer (ASE'25)

  C++

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Oct 4, 2025Oct 4, 2025

• ToDiff

  Public
  Validating IGPs via Equivalent Topology Synthesis

  Java

  •

  GNU General Public License v2.0

  •1•5•0•0•Updated Aug 20, 2025Aug 20, 2025

• .github

  Public
  0•0•0•0•Updated Jun 1, 2025Jun 1, 2025

• MiniJava-Interpreter-Kotlin

  Public
  Java

  •1•0•0•0•Updated May 12, 2025May 12, 2025

• MiniJava-Compiler

  Public
  MiniJava is a simplified subset of Java designed for teaching interpreters and VMs.

  Java

  •

  MIT License

  •1•0•0•0•Updated Apr 23, 2025Apr 23, 2025