lenary / abisLinks
Big List of ABI Resources
☆45Updated last year
Alternatives and similar repositories for abis
Users that are interested in abis are comparing it to the libraries listed below
Sorting:
- ☆69Updated this week
- Direct, source-level WebAssembly debugger☆50Updated 4 years ago
- Working draft of nextgen malloc implementation for musl libc☆120Updated 4 years ago
- The Solid-State Register Allocator☆87Updated 2 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- ☆48Updated 4 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Fast WebAssembly Baseline Compiler☆57Updated 2 years ago
- ☆58Updated 2 years ago
- The TenDRA Project☆244Updated 11 months ago
- Modeling futexes in TLA+☆20Updated 9 months ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- ☆19Updated 5 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- Assembly super-optimization via constraint solving☆213Updated this week
- EBNF grammar of LLVM IR assembly.☆66Updated 2 years ago
- ☆38Updated 4 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 8 months ago
- Creating a minimal ELF file☆119Updated 2 months ago
- ☆23Updated 7 months ago
- An educational implementation of a modern compressor in Rust☆47Updated last year
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆56Updated last year
- ALLVM Tools☆56Updated 3 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- Runtime support for LLVM's GC Statepoints☆43Updated 5 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- A compiler from Rust to C, and a checker for unsafe code☆84Updated 5 years ago
- simple snapshot-style integration testing for commands☆71Updated 2 months ago