Rust crates with map and set with interval keys (ranges x..y).
☆15Jan 1, 2025Updated last year
Alternatives and similar repositories for iset
Users that are interested in iset are comparing it to the libraries listed below
Sorting:
- Type theory for busy engineers☆19May 4, 2024Updated last year
- Symbolic Execution over Falcon IL☆30Aug 28, 2021Updated 4 years ago
- A reasonable theorem prover for your reasoning tasks!☆31Jan 27, 2025Updated last year
- A Proc Macro for interacting with wasmer☆23Apr 28, 2019Updated 6 years ago
- Pull your compiler up with abstract bootstraps.☆31Dec 15, 2022Updated 3 years ago
- ☆43Jun 28, 2025Updated 8 months ago
- Abstract binding tree code generator☆37Oct 31, 2016Updated 9 years ago
- Map data structure whose keys are stored as ranges☆101Dec 19, 2025Updated 2 months ago
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 8 months ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- Linux Developer Libraries☆12May 8, 2017Updated 8 years ago
- Summoner's core SDK for building and deploying agents☆13Feb 18, 2026Updated 2 weeks ago
- Rust bindings for the Apple Silicon Hypervisor.framework☆52Jan 14, 2026Updated last month
- Add early return to any do-expression☆47Jul 2, 2021Updated 4 years ago
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆58Sep 24, 2025Updated 5 months ago
- ☆12Sep 21, 2024Updated last year
- 9P file server for Upspin☆11Feb 20, 2023Updated 3 years ago
- A horizontally scaling object store based on the CRUSH placement algorithm.☆13Nov 1, 2022Updated 3 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last month
- D Language Support for Zed☆15Apr 9, 2025Updated 10 months ago
- Basic disassembler plugin for HotSpot JVM (based on libdisasm)☆11Jun 7, 2012Updated 13 years ago
- Higher level WASM library for Rust☆10Dec 11, 2024Updated last year
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- Levenshtein edit distance, packaged for ATS☆12Apr 11, 2022Updated 3 years ago
- A relational logic programming language embedded in Rust.☆12Aug 15, 2025Updated 6 months ago
- ☆11May 26, 2020Updated 5 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- 📦 Flatpak package of Spek, an acoustic spectrum analyser☆11Jan 24, 2025Updated last year
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago
- [WIP] Firefly is a research OS inspired by Linux and Plan 9.☆11Feb 1, 2025Updated last year
- Sparc emulator☆11May 19, 2018Updated 7 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- Tiny C library for inter-thread/process communication via channels. Linux-only.☆12Feb 21, 2016Updated 10 years ago
- A scalable anonymous blocklisting scheme☆12Oct 6, 2023Updated 2 years ago
- Neural-Network Guided Expression Transformation☆13Apr 15, 2018Updated 7 years ago
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 8 years ago
- Repo for the Journal of Systems Research (JSYS)☆11Jan 7, 2020Updated 6 years ago
- Linenoise FFI binding in rust☆12Apr 4, 2022Updated 3 years ago