curtsinger-lab / rikerView external linksLinks
Always-Correct and Fast Incremental Builds from Simple Specifications
☆92Jun 21, 2024Updated last year
Alternatives and similar repositories for riker
Users that are interested in riker are comparing it to the libraries listed below
Sorting:
- ☆13Feb 6, 2026Updated last week
- A tool for dependencies validation for ninja build system using strace to detect the real dependencies☆16Nov 12, 2018Updated 7 years ago
- Stroll: an experimental build system☆42May 27, 2023Updated 2 years ago
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 3 years ago
- Dynamically discover the commands used to create a piece of software☆58Oct 24, 2025Updated 3 months ago
- Forward build system with speculation and caching☆110Oct 15, 2023Updated 2 years ago
- Transform Doxygen to Rustdoc☆22May 28, 2024Updated last year
- Filesystem access tracer☆87Aug 26, 2024Updated last year
- A feature-incomplete peekahole (pahole) clone that doesn't rely on libdwarves (and doesn't choke on Clang output)☆23Oct 23, 2017Updated 8 years ago
- ☆12Jan 12, 2024Updated 2 years ago
- ☆25Dec 9, 2024Updated last year
- https://rs3lab.github.io/SynCord/☆26Nov 23, 2022Updated 3 years ago
- Custom error type of nom to improve accuracy of error position☆11Mar 23, 2023Updated 2 years ago
- ☆13May 10, 2024Updated last year
- 疲労困憊していても書ける優しいプログラミング言語のコンパイラ☆11Dec 25, 2025Updated last month
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 5 months ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Feb 1, 2026Updated last week
- provides Rust interface of fetching youtube live chat comments☆10Dec 16, 2024Updated last year
- ☆29Sep 27, 2019Updated 6 years ago
- Rust testing framework for compilers and VMs☆51Feb 24, 2025Updated 11 months ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated last year
- A library for creating and patching binary diffs. Based on bsdiff.☆11Nov 23, 2014Updated 11 years ago
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 8 years ago
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 5 years ago
- pspgen utility on top of DPDK☆14Mar 21, 2016Updated 9 years ago
- A small standalone WebAssembly interpreter in Rust☆36Nov 12, 2018Updated 7 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 9 months ago
- This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…☆14Oct 26, 2022Updated 3 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆18Apr 1, 2025Updated 10 months ago
- A tiny framebuffer image viewer☆13May 30, 2015Updated 10 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 5 years ago
- where is that project root?☆16Nov 30, 2023Updated 2 years ago
- Proof of Concept for Live Reverse Debugging in LLDB (see wiki)☆14Nov 18, 2025Updated 2 months ago
- Play with the other animals in the zoo☆15Dec 6, 2024Updated last year
- Unofficial reference Wasm interpreter written in C☆39Dec 4, 2023Updated 2 years ago
- ☆15Jan 7, 2023Updated 3 years ago
- P2P Messenger using INET256 and SQLite☆18Jun 7, 2025Updated 8 months ago
- A compiler synthesizer for simple languages.☆15Dec 18, 2018Updated 7 years ago
- ☆52Oct 10, 2024Updated last year