Repositories list

• PySymGym

  Public
  Python infrastructure to train paths selectors for symbolic execution engines.

  machine-learningsymbolic-executiongraph-neural-networks

  Python

  •

  MIT License

  •5•11•31•7•Updated Jan 2, 2026Jan 2, 2026

• VSharp

  Public
  Symbolic execution engine for .NET Core

  F#

  •

  Apache License 2.0

  •34•0•0•0•Updated Dec 26, 2025Dec 26, 2025

• PySymBench

  Public
  Infrastructure for models comparison and evalustion

  Apache License 2.0

  •0•0•0•0•Updated Dec 25, 2025Dec 25, 2025

• usvm

  Public
  Universal Symbolic Virtual Machine

  Kotlin

  •

  Apache License 2.0

  •26•0•4•0•Updated Oct 21, 2025Oct 21, 2025

• sym-graphs

  Public
  Gource-inspired symbolic execution visualization.

  C++

  •

  MIT License

  •1•0•0•0•Updated Jun 20, 2025Jun 20, 2025

• klee

  Public
  KLEEF Symbolic Execution Engine

  C++

  •

  Other

  •708•0•3•0•Updated Sep 27, 2024Sep 27, 2024