electronjoe / intervals-generalView external linksLinks
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
Sorting:
- Kalman filters and other optimal and non-optimal estimation filters in Rust☆21Jul 8, 2020Updated 5 years ago
- Library for backtracking with customizable search for moves☆24Dec 16, 2025Updated last month
- Machine scalar casting that meets your expectations☆78Sep 4, 2021Updated 4 years ago
- A Rust library for iterating over random permutations.☆14Jun 15, 2021Updated 4 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
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A Rust implementation of interval arithmetic (IEEE 1788)☆46Jan 26, 2025Updated last year
- A PHP Based script that saves and reloads windows into their correct locations.☆10Feb 7, 2021Updated 5 years ago
- ☆11Sep 1, 2020Updated 5 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- A prefix sum implementation rust.☆13Jan 2, 2019Updated 7 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last week
- Genetic Algorithm Colorscheme Generator☆12Apr 3, 2016Updated 9 years ago
- Rust library of fast and compact string dictionary using Front-Coding☆12Mar 27, 2022Updated 3 years ago
- Personal research and experimentation with audio☆13Dec 9, 2023Updated 2 years ago
- Audio-Video Encoder☆10Apr 29, 2021Updated 4 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- Boilerplate to work with express using typescript☆11Dec 13, 2022Updated 3 years ago
- L-Systems in Rust☆15May 16, 2019Updated 6 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs☆13Jul 9, 2022Updated 3 years ago
- Example mouse for usbd-hid-device☆13Jul 26, 2020Updated 5 years ago
- Node.js library to copy files between several storage sources (ftp, http/https, s3, ssh, local, ...)☆11Oct 20, 2021Updated 4 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- Rust wrapper for the ANSI C radix tree "rax" implementation that is used in Redis☆10Jul 17, 2018Updated 7 years ago
- Chess Engine written in Haskell☆15Jul 6, 2018Updated 7 years ago
- A library for creating and verifying orthogonal arrays for Monte Carlo sampling☆12Updated this week
- ☆12Sep 28, 2024Updated last year
- USB HID device support for embedded devices☆14Feb 2, 2020Updated 6 years ago
- Probability distributions and statistics in Rust with integrated fitting routines, convolution support and mixtures.☆10Mar 19, 2024Updated last year
- A rust crate for tailoring random forests and decision trees to *your* data set.☆12Aug 4, 2021Updated 4 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 1, 2026Updated last week
- composable validation functions for custom types☆14Jun 11, 2025Updated 8 months ago
- Fancy output for Cargo☆13Apr 19, 2016Updated 9 years ago
- A XeLaTeX package that lets you insert arbitrary code between characters from different unicode blocks☆18Jul 9, 2024Updated last year
- String Distances in rust☆14Nov 21, 2022Updated 3 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