Always-Correct and Fast Incremental Builds from Simple Specifications
☆95Sep 3, 2026Updated last month
Alternatives and similar repositories for riker
Users that are interested in riker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Human-Computation Runtime☆49Mar 22, 2024Updated 2 years ago
- Stroll: an experimental build system☆42May 27, 2023Updated 3 years ago
- A parallel programming model for online applications with complex synchronization requirements.☆17Jun 8, 2022Updated 4 years ago
- Ahead-of-time analysis of shell program effects☆21Oct 5, 2026Updated 3 weeks ago
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A benchmark suite for performance-oriented shell-optimization research☆36Sep 21, 2026Updated last month
- Rag-bag of utilities and scripts that do strange things with ELF files☆19May 5, 2026Updated 5 months ago
- Filesystem access tracer☆88Aug 26, 2024Updated 2 years ago
- ☆14Sep 13, 2026Updated last month
- ☆27Aug 2, 2017Updated 9 years ago
- Custom error type of nom to improve accuracy of error position☆11Mar 23, 2023Updated 3 years ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 10 years ago
- ☆12Jan 12, 2026Updated 9 months ago
- Cargo Sherlock 🕵️ is an automated reasoning tool for quantify trust in Rust software.☆17Sep 4, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Jan 12, 2024Updated 2 years ago
- Code for OSDI'24 Paper: IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing☆13Apr 25, 2024Updated 2 years ago
- https://rs3lab.github.io/SynCord/☆26Nov 23, 2022Updated 3 years ago
- BS3: Block device in S3☆13Apr 19, 2022Updated 4 years ago
- Code for reproducing results for SOSP paper Bagpipe☆12Oct 20, 2023Updated 3 years ago
- Rust testing framework for compilers and VMs☆50Feb 24, 2025Updated last year
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆22May 27, 2020Updated 6 years ago
- DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3☆20Apr 29, 2019Updated 7 years ago
- 疲労困憊していても書ける優しいプログラミング言語のコンパイラ☆11Dec 25, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Ownership analysis that helps translating C to Rust☆34Apr 9, 2026Updated 6 months ago
- pspgen utility on top of DPDK☆14Mar 21, 2016Updated 10 years ago
- ☆14Nov 24, 2025Updated 11 months ago
- ☆12May 15, 2024Updated 2 years ago
- Lock ordering enforcement at compile time in Rust☆24Mar 17, 2025Updated last year
- An example app for BPF CO-RE and CI settings with GitHub Actions☆14Aug 23, 2022Updated 4 years ago
- Filibuster application corpus.☆10Sep 28, 2022Updated 4 years ago
- provides Rust interface of fetching youtube live chat comments☆11Dec 16, 2024Updated last year
- Terminal Crypto and US Stock Viewer☆10Apr 8, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- simple snapshot-style integration testing for commands☆77May 29, 2025Updated last year
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 4 years ago
- A determinizing tracer using Ptrace☆43Sep 20, 2020Updated 6 years ago
- A Haskell ADL to generate terraform files.☆17Aug 17, 2020Updated 6 years ago
- A user-level tool for extracting SSD internal properties☆19Apr 8, 2023Updated 3 years ago
- Function interposition for Linux and Mac OS☆77Feb 28, 2024Updated 2 years ago
- A C/C++ parser in rust☆26Jun 14, 2020Updated 6 years ago