compiler-explorer / misc-builder
☆10Updated last month
Related projects ⓘ
Alternatives and complementary repositories for misc-builder
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆18Updated 3 weeks ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- Cerberus C semantics☆53Updated this week
- An experimental programming language for ergonomic software verification☆15Updated 3 weeks ago
- ☆14Updated last year
- Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks☆14Updated last week
- A term rewriting system for experimental programming language development.☆38Updated last month
- Isabelle LLVM Code Generator and Refinement☆26Updated this week
- Rotth is a stack based concatenative language highly inspired by Porth☆15Updated 7 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- Tools for Compiler Explorer☆21Updated last year
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 4 months ago
- The Daedalus data description language☆66Updated 3 months ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆30Updated 5 months ago
- REPL for C preprocessor of C++17☆10Updated 9 months ago
- Compiler for the Vale programming language - http://vale.dev/☆31Updated 4 months ago
- ☆14Updated 11 months ago
- A simple induction and BMC engine.☆22Updated 2 years ago
- SYCL 2023 - linker workshop☆11Updated last year
- The C4 Concurrent C Fuzzer☆14Updated last year
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆28Updated 3 weeks ago
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆26Updated last month
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆22Updated last week
- An overview of property-based testing functionality☆54Updated 5 months ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆39Updated 8 months ago
- ☆22Updated 2 years ago
- Regex Engine using SIMD and Roaring-Bitmaps☆8Updated last year
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆13Updated last year
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 3 weeks ago
- embedding MLIR in LEAN☆47Updated 4 months ago