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:
- B-tree range map implementation for Rust☆13Oct 5, 2023Updated 2 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- 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
- Numerical snippets & tests☆12Jan 5, 2026Updated 2 months ago
- (design phase) Open source black box re-implementation of the Jane's Fighters Anthology engine☆16Feb 3, 2024Updated 2 years ago
- Compact sets in rust☆62Mar 9, 2025Updated last year
- Visualization tool for your IO-uring workload☆17Aug 19, 2024Updated last year
- Kanren with databases☆44Jul 30, 2024Updated last year
- A BST (binary search tree) that supports fast clone, query and delete-range operations☆19Apr 12, 2017Updated 8 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 9 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- A general purpose relational language☆19Feb 21, 2020Updated 6 years ago
- gl.xml parser / GL bindings generator☆18May 22, 2023Updated 2 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 3 months ago
- HoMM meets Majesty, sort of.☆17Mar 22, 2022Updated 3 years ago
- ☆15Feb 6, 2026Updated last month
- ☆21Mar 15, 2016Updated 10 years ago
- An interactive Datalog☆66Mar 7, 2026Updated 2 weeks ago
- A Rust library for iterating over random permutations.☆14Jun 15, 2021Updated 4 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 4 years ago
- Propositional logic with exponentials☆23Jan 12, 2026Updated 2 months ago
- Arbitrary precision integers library.☆27Mar 25, 2021Updated 4 years ago
- Relational Algebra at your fingertips☆62Dec 3, 2014Updated 11 years ago
- ☆12Aug 28, 2019Updated 6 years ago
- Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax☆21Oct 14, 2018Updated 7 years ago
- TodoMVC, with Rust and Ember☆70Dec 21, 2017Updated 8 years ago
- Scheme implementation (now maybe working properly)☆19Dec 3, 2023Updated 2 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- A prefix sum implementation rust.☆13Jan 2, 2019Updated 7 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Aug 6, 2021Updated 4 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- Platform-agnostic Rust driver for the MAX170xx 1-cell/2-cell fuel-gauge systems with ModelGauge for lithium-ion (Li+) batteries. Compatib…☆12Apr 29, 2024Updated last year
- An experimental programming language.☆19May 16, 2019Updated 6 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- Ultra-compact storage for collections of enums 🌱☆23Sep 12, 2022Updated 3 years ago
- Predicator, a Rust crate for generating and running dynamic code☆16Sep 25, 2018Updated 7 years ago
- Another try to simplify newtype creation in rust☆16Sep 21, 2024Updated last year