kristerw / pysmtgccView external linksLinks
Some experiments with SMT solvers and GIMPLE IR
☆40Sep 29, 2023Updated 2 years ago
Alternatives and similar repositories for pysmtgcc
Users that are interested in pysmtgcc are comparing it to the libraries listed below
Sorting:
- Some experiments with SMT solvers and GIMPLE IR☆79Feb 5, 2026Updated last week
- Local-affinity first NUMA-aware allocator with optional fallback.☆29Apr 29, 2021Updated 4 years ago
- An demonic library to write PE binaries☆11Feb 12, 2024Updated 2 years ago
- ☆14Apr 4, 2024Updated last year
- Instruction-less computation☆18Dec 7, 2023Updated 2 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Jul 24, 2025Updated 6 months ago
- Cycle-level, trace-driven, parallel GPU simulator for NVIDIA Pascal.☆15Dec 13, 2025Updated 2 months ago
- Rust port of C++ llvm::APFloat library☆20Dec 5, 2025Updated 2 months ago
- Translate C++/Rust type into C type with the same memory layout☆17Nov 12, 2022Updated 3 years ago
- SSA vs ANF☆47Jul 20, 2015Updated 10 years ago
- C++ build system that uses C++ for build configuration.☆26Updated this week
- A tool for testing C compilers automatically☆21Jan 24, 2016Updated 10 years ago
- Hello Embedded!☆23Feb 29, 2024Updated last year
- Pre-conditions, post-conditions, and assertions, all available at compile-time☆26Feb 19, 2022Updated 3 years ago
- Backported standard Rust library to older compilers.☆23Oct 7, 2022Updated 3 years ago
- C++ container graph visualization for lldb.☆23Aug 23, 2019Updated 6 years ago
- Kraken is an open-source modern math library that comes with a fast-fixed matrix class and math-related functions.☆31Sep 16, 2023Updated 2 years ago
- A Rust macro that parses Java-like syntax and runs it as a Rust program☆29Aug 11, 2018Updated 7 years ago
- Build-system agnostic code generation application for C++.☆32Jan 12, 2026Updated last month
- My attempt at making GCC error logs more readable☆29Mar 4, 2024Updated last year
- Cross-platform OS features in C++☆27Dec 21, 2021Updated 4 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- Pair your compilers up at The ABI Cafe!☆286Jun 15, 2025Updated 7 months ago
- Cerberus C semantics☆80Jan 15, 2026Updated 3 weeks ago
- 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
- Demonstration of LLVM's opt-viewer tool☆71Mar 4, 2017Updated 8 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆34Jul 4, 2017Updated 8 years ago
- Microsoft Visual C/C++ Mode for EMACS☆26Oct 15, 2022Updated 3 years ago
- Super-parallel Python port of the C-Reduce☆319Feb 1, 2026Updated last week
- ☆36Aug 21, 2025Updated 5 months ago
- Statically typed functional programming language.☆11Jan 25, 2026Updated 2 weeks ago
- Implement a multi-threaded HTTP web server based on boss-worker thread pattern in C, using pthread library.☆12Sep 26, 2012Updated 13 years ago
- A translation validation framework for MLIR☆92Mar 19, 2025Updated 10 months ago
- Automatic verification of LLVM optimizations☆1,053Updated this week
- ☆11Mar 12, 2021Updated 4 years ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- VRRPv3 protocol implementation☆11Jan 15, 2021Updated 5 years ago
- Example of CRUSH compression with optimal parsing using BriefLZ algorithms☆16Nov 1, 2023Updated 2 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago