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 6 months ago
- Kalman filters and other optimal and non-optimal estimation filters in Rust☆22Jul 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 5 years 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.
- 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 4 years ago
- Genetic Algorithm Colorscheme Generator☆12Apr 3, 2016Updated 10 years ago
- Cast between trait objects using only safe Rust.☆17Dec 10, 2024Updated last year
- A Rust implementation of interval arithmetic (IEEE 1788)☆49Jan 26, 2025Updated last year
- Audio-Video Encoder☆10Apr 29, 2021Updated 5 years ago
- ☆21May 11, 2025Updated last year
- A prefix sum implementation rust.☆13Jan 2, 2019Updated 7 years ago
- 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 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 4 months ago
- Rust library for using the backblaze b2 api.☆17Aug 26, 2022Updated 3 years ago
- L-Systems in Rust☆15May 16, 2019Updated 7 years ago
- USB HID device support for embedded devices☆14Feb 2, 2020Updated 6 years ago
- Fancy output for Cargo☆13Apr 19, 2016Updated 10 years ago
- Common Wasm runtime binding to C API☆28Aug 22, 2023Updated 2 years ago
- Github Action to problem match gcc output☆24Mar 12, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Generic permutator written in Rust that permutates both lists of lists and singular lists using references.☆15May 2, 2019Updated 7 years ago
- A fast ring buffer implementation with cheap and safe indexing written in Rust☆15Sep 22, 2025Updated 9 months ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated 2 years ago
- FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs☆12Jul 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☆12Mar 26, 2026Updated 3 months ago
- A XeLaTeX package that lets you insert arbitrary code between characters from different unicode blocks☆19Mar 8, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Rust In-Memory Filesystem☆18Nov 28, 2019Updated 6 years ago
- A bazel toolchain and example for building Arduino applications for the esp32 microcontroller.☆20Nov 23, 2022Updated 3 years ago
- Experiment to get k-combinations working as a const fn☆13Nov 27, 2025Updated 7 months ago
- String Distances in rust☆14Nov 21, 2022Updated 3 years ago
- First-order automated theorem prover based on the tableau method☆19Jun 26, 2026Updated last week
- Local context manager for Claude Code and Codex with workstreams, transcript binding, and branching.☆127Apr 21, 2026Updated 2 months ago
- Example mouse for usbd-hid-device☆13Jul 26, 2020Updated 5 years ago