Alternatives and similar repositories for YAN85-SymbolicExecutionToolkit

Users that are interested in YAN85-SymbolicExecutionToolkit are comparing it to the libraries listed below

• cloudspinx / terraform-openstack
  Collection of OpenStack Terraform modules (WIP)
  ☆11Updated 6 months ago
• zv / SHA3ImplementedInsideofaRARfile
  The Keccak hash algorithm implemented inside of a RAR archive using the RAR filter assembly language
  ☆23Updated 10 years ago
• meelgroup / arjun
  CNF minimizer and minimal independent set minimizer
  ☆19Updated last week
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆15Updated 10 months ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 2 weeks ago
• uclaacm / acmcyber.com
  The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.
  ☆11Updated 3 weeks ago
• cucapra / patronus
  work in progress, playing around with btor2 in rust
  ☆11Updated 2 weeks ago
• hargoniX / Leanwuzla
  Connecting bv_decide to SMTLIB.
  ☆13Updated last week
• gokhankici / iodine
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆13Updated 4 years ago
• Usibre / asmregex
  A small and simple regular expression matcher for assembly code.
  ☆10Updated 2 years ago
• dalzilio / rudd
  Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
  ☆11Updated 7 months ago
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Updated 2 months ago
• paultristanwagner / model-checking
  Command line tool for model checking using LTL, CTL and CTL* formulas
  ☆14Updated 7 months ago
• leduythuccs / VOJ-rebuild-discord-bot
  A discord bot which helps speed up migration VOJ problems to Codeforces by using polygon, codeforces APIs.
  ☆21Updated 2 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• JohnLyu2 / z3alpha
  Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…
  ☆17Updated this week
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• VNOI-Admin / OJ
  A modern open-source online judge and contest platform system.
  ☆185Updated this week
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆14Updated 2 months ago
• yoelmatveyev / nutes
  A virtual ternary OISC machine (One Instruction Set Computer) inspired by 1950s Soviet hardware
  ☆9Updated 4 years ago
• AbishekPonmudi / PlanqX_EDR-Endpoint-Detection-and-Response
  PlanqX EDR is an open-source, advanced Endpoint Detection and Response (EDR) solution for Windows, offering real-time system and network …
  ☆13Updated 3 weeks ago
• 0xADE1A1DE / USLH
  Artifact for paper: Breaking and Fixing Speculative Load Hardening
  ☆11Updated last year
• cad-polito-it / byron
  An evolutionary source-code fuzzer
  ☆12Updated 2 months ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 4 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• vusec / LookUB
  ☆14Updated last year
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated 10 months ago
• chipsalliance / rocket-chip-blocks
  RTL blocks compatible with the Rocket Chip Generator
  ☆16Updated 2 months ago
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year