lenary / abisLinks
Big List of ABI Resources
☆42Updated last year
Alternatives and similar repositories for abis
Users that are interested in abis are comparing it to the libraries listed below
Sorting:
- Working draft of nextgen malloc implementation for musl libc☆120Updated 4 years ago
- ☆48Updated 4 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆118Updated 5 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- ALLVM Tools☆56Updated 3 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- The Solid-State Register Allocator☆86Updated 2 years ago
- ☆69Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- ☆58Updated 2 years ago
- The TenDRA Project☆242Updated 10 months ago
- Direct, source-level WebAssembly debugger☆50Updated 4 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Assembly super-optimization via constraint solving☆206Updated this week
- Microbenchmarks for x86_64 kernel entry methods☆18Updated 3 years ago
- ☆53Updated last year
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- Fast WebAssembly Baseline Compiler☆57Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 10 months ago
- Buddy allocator, forked from the toyos repository.☆14Updated 3 years ago
- Tools to process ARM's Machine Readable Architecture Specification☆131Updated 5 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- EBNF grammar of LLVM IR assembly.☆66Updated 2 years ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆143Updated 4 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- berlin windowing system -- historical snapshot☆14Updated last year
- A public database of C compiler test cases, minimal test runners, and public test results.☆227Updated 4 years ago