GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
☆40Mar 23, 2021Updated 4 years ago
Alternatives and similar repositories for Gklee
Users that are interested in Gklee are comparing it to the libraries listed below
Sorting:
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Dec 12, 2014Updated 11 years ago
- ☆45Nov 18, 2022Updated 3 years ago
- A Computational Graph Generator for AI Compiler Fuzzing☆16May 31, 2023Updated 2 years ago
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Oct 28, 2020Updated 5 years ago
- The Chef symbolic execution platform, based off S2E☆12Nov 1, 2022Updated 3 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- Architecture-level Fault Injection Tool for GPU Application Resilience Evaluation☆80Oct 17, 2023Updated 2 years ago
- 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
- ☆27Jun 6, 2023Updated 2 years ago
- CUDAAdvisor: a GPU profiling tool☆52Aug 24, 2018Updated 7 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 4 years ago
- ☆55Nov 21, 2019Updated 6 years ago
- Parsers for CUDA binary files☆24Dec 29, 2023Updated 2 years ago
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆125Apr 18, 2025Updated 10 months ago
- TracerX Symbolic Virtual Machine☆32Sep 24, 2025Updated 5 months ago
- ☆10Jun 29, 2021Updated 4 years ago
- ☆23Dec 30, 2025Updated 2 months ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- GPUVerify: a Verifier for GPU Kernels☆74Jul 28, 2022Updated 3 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Apr 9, 2023Updated 2 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- A Grand Sumo prediction game☆10Updated this week
- ☆12Aug 21, 2019Updated 6 years ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 8 months ago
- C++ template containers with optimized memory consumption☆12Updated this week
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆51Nov 16, 2025Updated 3 months ago
- ☆11Jul 13, 2022Updated 3 years ago
- A benchmarking suite for heterogeneous systems. The primary goal of this project is to improve and update aspects of existing benchmarkin…☆43Jan 30, 2026Updated last month
- Monadic Error Handling for Python☆11Aug 29, 2024Updated last year
- ☆11Jan 19, 2025Updated last year
- Struct-aware fuzzing framework + some fuzzers☆30Jan 28, 2026Updated last month
- Build your own AI-powered automation tools in the terminal with this extensible agent framework☆23Jan 5, 2026Updated last month
- Automatic Parallelism Using LLVM☆10Aug 2, 2014Updated 11 years ago
- Lightweight, multipurpose rust library for handling RTP streams.☆12Nov 17, 2023Updated 2 years ago
- SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that do…☆33Dec 11, 2025Updated 2 months ago
- ☆10Dec 8, 2021Updated 4 years ago
- correlate an SPI capture of an AMD boot procedure to the PSP firmware components☆15Jan 13, 2026Updated last month