nested & overlapping interval set functions, overlap, union, etc (Rust)
☆17Apr 22, 2024Updated 2 years ago
Alternatives and similar repositories for nested_intervals
Users that are interested in nested_intervals are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- B-tree range map implementation for Rust☆13Jul 27, 2026Updated last month
- 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 2 years ago
- Like a cell, but make lifetimes dynamic instead of ownership☆22Jul 14, 2022Updated 4 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- (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☆63Aug 13, 2026Updated 2 weeks ago
- Kanren with databases☆44Jul 30, 2024Updated 2 years ago
- A BST (binary search tree) that supports fast clone, query and delete-range operations☆19Apr 12, 2017Updated 9 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 9 years ago
- A general purpose relational language☆19Feb 21, 2020Updated 6 years ago
- gl.xml parser / GL bindings generator☆18May 22, 2023Updated 3 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 9 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆15Aug 18, 2026Updated last week
- HoMM meets Majesty, sort of.☆17Mar 22, 2022Updated 4 years ago
- A Rust library for iterating over random permutations.☆14Jul 5, 2026Updated last month
- ☆20Mar 15, 2016Updated 10 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 5 years ago
- ☆12Aug 28, 2019Updated 7 years ago
- FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs☆12Jul 9, 2022Updated 4 years ago
- Arbitrary precision integers library.☆27Mar 25, 2021Updated 5 years ago
- Propositional logic with exponentials☆23Jul 21, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A functional programming language which does not require the heap at run-time.☆17Jun 18, 2026Updated 2 months ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated 2 years ago
- Scheme implementation (now maybe working properly)☆21Dec 3, 2023Updated 2 years ago
- Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax☆21Oct 14, 2018Updated 7 years ago
- A prefix sum implementation rust.☆13Jan 2, 2019Updated 7 years ago
- Visualization tool for your IO-uring workload☆21Aug 19, 2024Updated 2 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- Platform-agnostic Rust driver for the MAX170xx 1-cell/2-cell fuel-gauge systems with ModelGauge for lithium-ion (Li+) batteries. Compatib…☆14Apr 29, 2024Updated 2 years ago
- An experimental programming language.☆19May 16, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- Predicator, a Rust crate for generating and running dynamic code☆16Sep 25, 2018Updated 7 years ago
- A Rust crate that allows you to match, bind, and pack the individual bits of integers.☆117Apr 20, 2020Updated 6 years ago
- Ultra-compact storage for collections of enums 🌱☆23Sep 12, 2022Updated 3 years ago
- Another try to simplify newtype creation in rust☆16Jun 8, 2026Updated 2 months ago
- A library for creating and verifying orthogonal arrays for Monte Carlo sampling☆13Feb 9, 2026Updated 6 months ago
- Rust library for using the backblaze b2 api.☆17Aug 26, 2022Updated 4 years ago