nested & overlapping interval set functions, overlap, union, etc (Rust)
☆17Apr 22, 2024Updated last year
Alternatives and similar repositories for nested_intervals
Users that are interested in nested_intervals are comparing it to the libraries listed below
Sorting:
- Numerical snippets & tests☆12Jan 5, 2026Updated last month
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 3 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- B-tree range map implementation for Rust☆13Oct 5, 2023Updated 2 years ago
- Visualization tool for your IO-uring workload☆17Aug 19, 2024Updated last year
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Like a cell, but make lifetimes dynamic instead of ownership☆21Jul 14, 2022Updated 3 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 4 years ago
- (design phase) Open source black box re-implementation of the Jane's Fighters Anthology engine☆16Feb 3, 2024Updated 2 years ago
- An experimental programming language.☆19May 16, 2019Updated 6 years ago
- Scheme implementation (now maybe working properly)☆19Dec 3, 2023Updated 2 years ago
- gl.xml parser / GL bindings generator☆18May 22, 2023Updated 2 years ago
- HoMM meets Majesty, sort of.☆18Mar 22, 2022Updated 3 years ago
- An interactive Datalog☆66Feb 17, 2026Updated last week
- Kanren with databases☆44Jul 30, 2024Updated last year
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated 10 months ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 8 years ago
- A BST (binary search tree) that supports fast clone, query and delete-range operations☆19Apr 12, 2017Updated 8 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- Simply typed lambda calculus in cubical agda☆22Feb 22, 2020Updated 6 years ago
- Propositional logic with exponentials☆23Jan 12, 2026Updated last month
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Nov 12, 2020Updated 5 years ago
- ☆21Mar 15, 2016Updated 9 years ago
- Relational Algebra at your fingertips☆62Dec 3, 2014Updated 11 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- Compact sets in rust☆60Mar 9, 2025Updated 11 months ago
- Ultra-compact storage for collections of enums 🌱☆23Sep 12, 2022Updated 3 years ago
- A general purpose relational language☆19Feb 21, 2020Updated 6 years ago
- Parser with a nebulous purpose☆18Feb 3, 2021Updated 5 years ago
- ☆19May 18, 2023Updated 2 years ago
- Arbitrary precision integers library.☆27Mar 25, 2021Updated 4 years ago
- Isabelle LLVM Code Generator and Refinement☆29Nov 10, 2025Updated 3 months ago
- Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax☆21Oct 14, 2018Updated 7 years ago
- A library for rectangle packing☆23Sep 22, 2017Updated 8 years ago
- Refinement types + dependent types = ❤️☆62Aug 8, 2022Updated 3 years ago
- Scripting language for game prototyping and story logic☆53Feb 19, 2026Updated last week