A Rust crate enabling generalized Interval representations and operations
☆12Nov 3, 2024Updated last year
Alternatives and similar repositories for intervals-general
Users that are interested in intervals-general are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Library for backtracking with customizable search for moves☆23Dec 16, 2025Updated 3 months ago
- Kalman filters and other optimal and non-optimal estimation filters in Rust☆21Jul 8, 2020Updated 5 years ago
- Machine scalar casting that meets your expectations☆79Sep 4, 2021Updated 4 years ago
- A wrapper around MoveIt that enables more traditional industrial robot programming.☆15Jan 29, 2020Updated 6 years ago
- A Rust library for iterating over random permutations.☆14Jun 15, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Personal research and experimentation with audio☆13Dec 9, 2023Updated 2 years ago
- Rust library of fast and compact string dictionary using Front-Coding☆12Mar 27, 2022Updated 3 years ago
- Genetic Algorithm Colorscheme Generator☆12Apr 3, 2016Updated 9 years ago
- Cast between trait objects using only safe Rust.☆17Dec 10, 2024Updated last year
- A Rust implementation of interval arithmetic (IEEE 1788)☆46Jan 26, 2025Updated last year
- ☆19May 11, 2025Updated 10 months ago
- Audio-Video Encoder☆10Apr 29, 2021Updated 4 years ago
- A prefix sum implementation rust.☆13Jan 2, 2019Updated 7 years ago
- Nix flake for OpenAI Codex CLI - native Rust binary, hourly updates, multi-platform caching☆65Updated this week
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆20Apr 17, 2020Updated 5 years ago
- Predicator, a Rust crate for generating and running dynamic code☆16Sep 25, 2018Updated 7 years ago
- Finance::YahooJapan - A Perl module that enables GnuCash to get quotes of Japanese stocks and mutual funds from Yahoo! Finance JAPAN.☆13Aug 29, 2024Updated last year
- A library for creating and verifying orthogonal arrays for Monte Carlo sampling☆13Feb 9, 2026Updated last month
- Rust library for using the backblaze b2 api.☆17Aug 26, 2022Updated 3 years ago
- L-Systems in Rust☆15May 16, 2019Updated 6 years ago
- USB HID device support for embedded devices☆14Feb 2, 2020Updated 6 years ago
- Fancy output for Cargo☆13Apr 19, 2016Updated 9 years ago
- Common Wasm runtime binding to C API☆28Aug 22, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Github Action to problem match gcc output☆24Mar 12, 2026Updated 2 weeks ago
- Generic permutator written in Rust that permutates both lists of lists and singular lists using references.☆15May 2, 2019Updated 6 years ago
- A fast ring buffer implementation with cheap and safe indexing written in Rust☆15Sep 22, 2025Updated 6 months ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated last year
- FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs☆13Jul 9, 2022Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Endianness trait with derive procedural macro.☆12Dec 31, 2022Updated 3 years ago
- Utility and useful structures for Rust☆14Aug 27, 2020Updated 5 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A XeLaTeX package that lets you insert arbitrary code between characters from different unicode blocks☆18Mar 8, 2026Updated 2 weeks ago
- A bazel toolchain and example for building Arduino applications for the esp32 microcontroller.☆20Nov 23, 2022Updated 3 years ago
- Rust In-Memory Filesystem☆17Nov 28, 2019Updated 6 years ago
- Experiment to get k-combinations working as a const fn☆13Nov 27, 2025Updated 3 months ago
- String Distances in rust☆14Nov 21, 2022Updated 3 years ago
- First-order automated theorem prover based on the tableau method☆18Jan 3, 2026Updated 2 months ago
- composable validation functions for custom types☆14Jun 11, 2025Updated 9 months ago