Combinatorial phantom types for discrete mathematics
☆16Dec 26, 2025Updated 2 months ago
Alternatives and similar repositories for discrete
Users that are interested in discrete are comparing it to the libraries listed below
Sorting:
- The website for the AdvancedResearch community☆21Feb 7, 2026Updated 3 weeks ago
- A BST (binary search tree) that supports fast clone, query and delete-range operations☆19Apr 12, 2017Updated 8 years ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆50Apr 11, 2021Updated 4 years ago
- 🔩 Rust utilities, usable from Rust or Go☆16Dec 8, 2025Updated 2 months ago
- ☆18Sep 8, 2025Updated 5 months ago
- A fast, brute force, automatic theorem prover for first order logic☆42Sep 20, 2024Updated last year
- Collenchyma plugin for backend-agnostic Neural Network operations☆14May 1, 2016Updated 9 years ago
- Heroku buildpack to install Julia☆14Dec 8, 2018Updated 7 years ago
- Rust library managing duplicity backups☆18Aug 2, 2021Updated 4 years ago
- ☆24Dec 17, 2019Updated 6 years ago
- Library for backtracking with customizable search for moves☆23Dec 16, 2025Updated 2 months ago
- An in-memory topological sort algorithm for trees based on Group Theory☆23Apr 11, 2021Updated 4 years ago
- Leptos hook for draggable panels which can be rearranged.☆25Apr 3, 2025Updated 11 months ago
- A library dedicated to measuring data locally (typically, performance) and uploading it to a server to detect anomalies (typically, regre…☆25Mar 29, 2021Updated 4 years ago
- A general-purpose lens library for Rust.☆30Dec 18, 2016Updated 9 years ago
- A research project in path semantics, a re-interpretation of functions for expressing mathematics☆177Jan 24, 2026Updated last month
- Automatic differentiation library for rust☆27Dec 27, 2014Updated 11 years ago
- Git subcommands to help with your workflow☆25Jun 24, 2025Updated 8 months ago
- Algebraic structure and emulation of higher kinded types for Rust☆109Dec 15, 2018Updated 7 years ago
- A simple statistics library that draws inspiration from python☆31Aug 24, 2020Updated 5 years ago
- Read and save MSFS aircraft state and apply to next flight☆10Nov 11, 2025Updated 3 months ago
- A linear solver designed to be easy to use with Rust enums.☆34Apr 11, 2021Updated 4 years ago
- Simple multipurpose project focused matrix bot☆33Jan 26, 2024Updated 2 years ago
- An extensible HPC framework for CUDA, OpenCL and native CPU.☆76Aug 23, 2018Updated 7 years ago
- A Rust library for iterating over random permutations.☆14Jun 15, 2021Updated 4 years ago
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 5 months ago
- An extensible component for detecting cosmetic contact lenses in iris imagery.☆10Jun 25, 2025Updated 8 months ago
- Dependency Resolver written in rust☆38Dec 23, 2021Updated 4 years ago
- Unmaintained http://thehydroimpulse.github.io/thrust☆38Apr 10, 2016Updated 9 years ago
- Read Excel files from Rust☆36Aug 23, 2016Updated 9 years ago
- A research project to mix-regulate economy in MMO worlds☆34Mar 15, 2024Updated last year
- Porting caffe to android platform☆10Jul 16, 2016Updated 9 years ago
- Profitable MT5 Expert Advisors☆21Feb 22, 2026Updated last week
- An app which reads data from a serial port and serves it on a TCP port.☆11Oct 7, 2023Updated 2 years ago
- The code for the tutorials on our Twitter and YouTube account.☆10Dec 10, 2016Updated 9 years ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆32Feb 20, 2026Updated last week
- The set of released emails of Jeffrey Epstein processed into an Obsidian Vault using the Obsidian Importer plugin an Claude Code.☆25Nov 15, 2025Updated 3 months ago
- A package to simplify integration of language models into Unity.☆16Oct 14, 2025Updated 4 months ago
- [Deprecated] PhotoEditor SDK integration example for ReactJS☆10Apr 14, 2022Updated 3 years ago