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 7 months ago
- Kalman filters and other optimal and non-optimal estimation filters in Rust☆22Jul 8, 2020Updated 6 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.☆14Jul 5, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Miscellaneous config stuff☆19May 31, 2026Updated last month
- Personal research and experimentation with audio☆14Dec 9, 2023Updated 2 years ago
- Genetic Algorithm Colorscheme Generator☆12Apr 3, 2016Updated 10 years ago
- Rust library of fast and compact string dictionary using Front-Coding☆12Mar 27, 2022Updated 4 years ago
- Cast between trait objects using only safe Rust.☆17Dec 10, 2024Updated last year
- FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs☆12Jul 9, 2022Updated 4 years ago
- A Rust implementation of interval arithmetic (IEEE 1788)☆49Jan 26, 2025Updated last year
- ☆21May 11, 2025Updated last year
- Audio-Video Encoder☆10Apr 29, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A prefix sum implementation rust.☆13Jan 2, 2019Updated 7 years ago
- Predicator, a Rust crate for generating and running dynamic code☆16Sep 25, 2018Updated 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…☆21Apr 17, 2020Updated 6 years ago
- A library for creating and verifying orthogonal arrays for Monte Carlo sampling☆13Feb 9, 2026Updated 5 months 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
- 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
- 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.
- Common Wasm runtime binding to C API☆28Aug 22, 2023Updated 2 years ago
- Utility and useful structures for Rust☆14Aug 27, 2020Updated 5 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated 2 years ago
- A fast ring buffer implementation with cheap and safe indexing written in Rust☆15Sep 22, 2025Updated 10 months ago
- Generic permutator written in Rust that permutates both lists of lists and singular lists using references.☆15May 2, 2019Updated 7 years ago
- Minimal boilerplate/starter project for Flask 0.11 with Gulp for managing frontend assets and BrowserSync for live-reloading.☆17Dec 12, 2016Updated 9 years ago
- Github Action to problem match gcc output☆25Mar 12, 2026Updated 4 months ago
- Experiment to get k-combinations working as a const fn☆13Nov 27, 2025Updated 7 months ago
- Endianness trait with derive procedural macro.☆12Dec 31, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- A rust library to hide types inside a diplomatic bag which can be sent between threads freely☆17Jun 23, 2022Updated 4 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated 3 months ago
- 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
- Example mouse for usbd-hid-device☆13Jul 26, 2020Updated 6 years ago