Alternatives and similar repositories for Gklee

Users that are interested in Gklee are comparing it to the libraries listed below

• Geof23 / Gklee

  View on GitHub
  GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
  ☆40Mar 23, 2021Updated 4 years ago
• illinois-impact / klap

  View on GitHub
  A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches
  ☆15Jun 21, 2019Updated 6 years ago
• sosy-lab / sv-comp

  View on GitHub
  Information to reproduce results from SV-COMP (MOVED, please follow the link)
  ☆15Oct 28, 2020Updated 5 years ago
• codersguild / Software-Analysis-PAVT

  View on GitHub
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆39Apr 9, 2023Updated 2 years ago
• y-t-bot / opensea-instant-outbidder-bidding-bot

  View on GitHub
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆100Jan 17, 2023Updated 3 years ago
• seahorn / verify-c-common

  View on GitHub
  ☆20May 30, 2024Updated last year
• trailofbits / vast-checker

  View on GitHub
  ☆27Jun 6, 2023Updated 2 years ago
• michalpaszkowski / LLVM-Canon

  View on GitHub
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆31Apr 30, 2024Updated last year
• moyix / fpsmt_gpu

  View on GitHub
  Solving floating point SMT constraints on a GPU
  ☆50Dec 22, 2020Updated 5 years ago
• OrqueIO / OrqueIO

  View on GitHub
  Process Orchestration Framework: A camunda 7 fork
  ☆20Updated this week
• abenkhadra / gosat

  View on GitHub
  SMT solver for the theory of floating-point arithmetic
  ☆25Jan 30, 2018Updated 8 years ago
• paradise-fi / divine

  View on GitHub
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆21Mar 21, 2021Updated 4 years ago
• haoxintu / FastKLEE

  View on GitHub
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆22May 31, 2023Updated 2 years ago
• mechanicalnull / fuzzwatch

  View on GitHub
  Python GUI for seeing what's happening inside a fuzzer
  ☆26Oct 1, 2021Updated 4 years ago
• gryan11 / cln2inv

  View on GitHub
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Jun 8, 2020Updated 5 years ago
• codex-semantics-library / codex

  View on GitHub
  The main codex repository
  ☆24Feb 3, 2026Updated last week
• upenn-acg / gpudrano-static-analysis_v1.0

  View on GitHub
  GPU Drano Static Analysis for GPU programs.
  ☆23Nov 16, 2018Updated 7 years ago
• SRI-CSL / llvm2smt

  View on GitHub
  Experimental translation of llvm to smt.
  ☆58Apr 8, 2020Updated 5 years ago
• NVlabs / ptxmemorymodel

  View on GitHub
  ☆68May 29, 2019Updated 6 years ago
• binsec / klee21-tina-artifact

  View on GitHub
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆29Jul 7, 2021Updated 4 years ago
• Bastacyclop / egg-sketches

  View on GitHub
  sketches for egg: a flexible, high-performance e-graph library
  ☆30Sep 25, 2025Updated 4 months ago
• mimicji / FlowMatrix

  View on GitHub
  FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
  ☆28Apr 17, 2023Updated 2 years ago
• Sophietje / Verification-Tool-Overview

  View on GitHub
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆31Dec 9, 2023Updated 2 years ago
• shubhamprajapati7748 / sdlc-copilot

  View on GitHub
  SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…
  ☆22Jun 14, 2025Updated 8 months ago
• mc-imperial / gpuverify

  View on GitHub
  GPUVerify: a Verifier for GPU Kernels
  ☆74Jul 28, 2022Updated 3 years ago
• tracer-x / TracerX

  View on GitHub
  TracerX Symbolic Virtual Machine
  ☆32Sep 24, 2025Updated 4 months ago
• ise-uiuc / tzer

  View on GitHub
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆71Mar 9, 2023Updated 2 years ago
• IntelligentSoftwareSystems / GaloisGPU

  View on GitHub
  LonestarGPU: Irregular algorithms parallelized for GPUs
  ☆38Nov 11, 2019Updated 6 years ago
• qhanam / Java-RSRepair

  View on GitHub
  A Java version of the automatic program repair described by RSRepair and GenProg.
  ☆11Jan 6, 2016Updated 10 years ago
• rettigs / clonaria

  View on GitHub
  A Terraria clone in Python, just for fun
  ☆10Jun 7, 2020Updated 5 years ago
• UCSD-PL / proverbot9001

  View on GitHub
  ☆44Jan 15, 2026Updated 3 weeks ago
• nyu-systems / gauntlet

  View on GitHub
  Finding bugs in P4 compilers using translation validation.
  ☆38Nov 4, 2025Updated 3 months ago
• martin-cs / symfpu

  View on GitHub
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆50Nov 16, 2025Updated 2 months ago
• andreafioraldi / FuzzSplore

  View on GitHub
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆37Feb 6, 2021Updated 5 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• lanl / c2dwave

  View on GitHub
  Translate a subset of C to Verilog
  ☆11May 8, 2019Updated 6 years ago
• Anakeyn / Tensorflow2.0ForOldComputers

  View on GitHub
  A TensorFlow 2.0 .whl file compiled with an old processor/computer
  ☆11Dec 12, 2020Updated 5 years ago
• kristoferB / SP

  View on GitHub
  Sequence Planner
  ☆12Nov 17, 2017Updated 8 years ago
• csnake-org / CSnake

  View on GitHub
  Python CMake wrapper
  ☆13Jul 21, 2022Updated 3 years ago