A Github application that cancels unauthorized workflow runs.
☆14Oct 18, 2020Updated 5 years ago
Alternatives and similar repositories for protected-workflows
Users that are interested in protected-workflows are comparing it to the libraries listed below
Sorting:
- A fixed-size, zero-allocation circular buffer for Rust☆16Mar 29, 2025Updated 11 months ago
- Rumprun (SMP version)☆11Jan 4, 2021Updated 5 years ago
- Rust In-Memory Filesystem☆17Nov 28, 2019Updated 6 years ago
- FoundationDB Prometheus Metrics Exporter☆15Jan 9, 2026Updated 2 months ago
- Make nice plots with matplotlib.☆11Oct 8, 2019Updated 6 years ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 6 years ago
- ☆20Mar 3, 2026Updated last week
- Simplify the use of performance counters.☆64Apr 25, 2022Updated 3 years ago
- Rust bindings to Intel's DPDK.☆13Oct 1, 2018Updated 7 years ago
- ☆18Oct 15, 2024Updated last year
- ☆19May 11, 2025Updated 9 months ago
- ☆22Updated this week
- SPLASH2 Benchmark☆28Mar 4, 2014Updated 12 years ago
- The main Project☆20Oct 7, 2016Updated 9 years ago
- A logic programming library (inspired by uKanren) in Rust.☆20Feb 6, 2016Updated 10 years ago
- Hardware-accelerated sorting algorithm☆16May 4, 2020Updated 5 years ago
- Binary encoding data format which ensures lexicographic sort order☆35Dec 14, 2025Updated 2 months ago
- Bolts: Stainless Verified Scala Examples☆29Updated this week
- Local-affinity first NUMA-aware allocator with optional fallback.☆29Apr 29, 2021Updated 4 years ago
- Columnar type support for Rust☆26Oct 27, 2017Updated 8 years ago
- Asynchronous Rust client for Apache Kafka☆31May 16, 2018Updated 7 years ago
- Tools for generating TPC-* datasets☆31Jun 23, 2024Updated last year
- K42 Kernel☆31May 11, 2012Updated 13 years ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆30Jun 10, 2023Updated 2 years ago
- UEFI support library for Rust☆33Sep 21, 2018Updated 7 years ago
- Understanding the Idiosyncrasies of Real Persistent Memory☆33Aug 18, 2021Updated 4 years ago
- ☆31Feb 21, 2021Updated 5 years ago
- HiStar operating system (not under active development)☆32Apr 11, 2018Updated 7 years ago
- Home for the Inline Assembly project group☆34Mar 15, 2020Updated 5 years ago
- The Bareflank Processor Abstraction Layer☆39Aug 5, 2022Updated 3 years ago
- A verified high-performance file system☆38Jun 30, 2025Updated 8 months ago
- Composable allocator structures for plugging together more powerful allocators☆35Apr 29, 2021Updated 4 years ago
- A plugin for Criterion.rs to measure Linux perf events.☆45Feb 21, 2026Updated 2 weeks ago
- Just some macros to emulate the Async and Await in Rust :)☆38May 9, 2018Updated 7 years ago
- A hybrid I/O virtualization framework for RDMA-capable network interfaces☆35Mar 2, 2018Updated 8 years ago
- A miniKanren implementation in Rust☆37Mar 8, 2016Updated 10 years ago
- MIND: In-Network Memory Management for Disaggregated Data Centers☆44Jul 23, 2025Updated 7 months ago
- Backtrace support for Rust `no_std` and embedded programs.☆48May 7, 2023Updated 2 years ago
- the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research☆44Oct 1, 2021Updated 4 years ago