lenary / abis
Big List of ABI Resources
☆36Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for abis
- ☆57Updated last year
- Dynamic runtime inlining with LLVM☆65Updated 3 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆110Updated 5 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆77Updated 9 months ago
- ☆47Updated 4 years ago
- ALLVM Tools☆55Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆26Updated 11 years ago
- Fast WebAssembly Baseline Compiler☆54Updated last year
- Runtime support for LLVM's GC Statepoints☆42Updated 4 years ago
- ☆51Updated 3 weeks ago
- A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses☆128Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆66Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Poireau: a sampling allocation debugger☆86Updated 2 years ago
- Lower Size Bounds for Sorting Networks☆43Updated 3 years ago
- Working draft of nextgen malloc implementation for musl libc☆117Updated 4 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆100Updated last month
- Direct, source-level WebAssembly debugger☆43Updated 3 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 7 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆23Updated 9 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆54Updated last week
- DExTer - Debug Experience Tester☆33Updated 3 years ago
- Bottom Up Rewrite Generator☆26Updated 7 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆315Updated 2 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 2 years ago
- A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system☆63Updated 4 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆51Updated 4 years ago
- Modeling futexes in TLA+☆20Updated last month
- A DSL and compiler for generating peephole optimizers for Cranelift☆63Updated 4 years ago