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 week
- 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- (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☆63Apr 15, 2026Updated 3 months 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 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆15Feb 6, 2026Updated 6 months ago
- 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 6 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 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A functional programming language which does not require the heap at run-time.☆17Jun 18, 2026Updated last month
- 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 last year
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 3 years ago