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:
- A parallel programming model for online applications with complex synchronization requirements.☆16Jun 8, 2022Updated 4 years ago
- Human-Computation Runtime☆49Mar 22, 2024Updated 2 years ago
- Forward build system with speculation and caching☆115Oct 15, 2023Updated 2 years ago
- A coarse-grained Dynamic Analysis Framework☆23Jan 24, 2026Updated 8 months ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆19May 5, 2026Updated 5 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆14Sep 13, 2026Updated last month
- Custom error type of nom to improve accuracy of error position☆12Mar 23, 2023Updated 3 years ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 10 years ago
- Cargo Sherlock 🕵️ is an automated reasoning tool for quantify trust in Rust software.☆17Sep 4, 2026Updated last month
- BS3: Block device in S3☆13Apr 19, 2022Updated 4 years ago
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 6 years ago
- ☆12Jan 12, 2024Updated 2 years ago
- 疲労困憊していても書ける優しいプログラミング言語のコンパイラ☆11Dec 25, 2025Updated 9 months ago
- Rust testing framework for compilers and VMs☆50Feb 24, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- GitHub copilot cli suggest☆10Nov 15, 2023Updated 2 years ago
- pspgen utility on top of DPDK☆14Mar 21, 2016Updated 10 years ago
- llvm crash analysis☆43Jun 26, 2024Updated 2 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆37Nov 29, 2016Updated 9 years ago
- Various type-aligned sequence data structures.☆21Aug 15, 2021Updated 5 years ago
- ☆14Nov 24, 2025Updated 10 months ago
- Function interposition for Linux and Mac OS☆77Feb 28, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A C/C++ parser in rust☆25Jun 14, 2020Updated 6 years ago
- Produce legal code ❌🚔‼️ Lichen provides tools for producing and managing licenses both on the CLI and through a config file. Double lice…☆17Feb 3, 2026Updated 8 months ago
- Lock ordering enforcement at compile time in Rust☆24Mar 17, 2025Updated last year
- EVE Virtual Environment - A management toolkit for libvirt-based virtualization servers.☆11Mar 10, 2025Updated last year
- An example app for BPF CO-RE and CI settings with GitHub Actions☆14Aug 23, 2022Updated 4 years ago
- simple snapshot-style integration testing for commands☆77May 29, 2025Updated last year
- ☆12Dec 31, 2020Updated 5 years ago
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A user-level tool for extracting SSD internal properties☆19Apr 8, 2023Updated 3 years ago
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 4 years ago
- PaSh: Light-touch Data-Parallel Shell Processing☆604Sep 28, 2026Updated 2 weeks ago
- BUSE: Block device in user space☆16Apr 19, 2022Updated 4 years ago
- ☆14May 10, 2024Updated 2 years ago
- A toy C Compiler implemented by Rust.☆19Feb 4, 2023Updated 3 years ago
- Selective applicative functors☆16Jul 2, 2018Updated 8 years ago