Propositional logic with exponentials
☆23Oct 23, 2026Updated last week
Alternatives and similar repositories for hooo
Users that are interested in hooo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Propositional logic with types in Rust☆65Aug 1, 2023Updated 3 years ago
- TypeDB Behaviour Test Specification☆16Oct 21, 2026Updated last week
- A library for higher order functional programming with homotopy maps to construct 3D geometry☆15Oct 8, 2026Updated 3 weeks ago
- Plugin to add Rust language support to QtCreator IDE☆10Jul 11, 2017Updated 9 years ago
- A parser of relational predicate logic & truth tree solver, written in Rust.☆21May 1, 2019Updated 7 years 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.
- 🧠 A translator between answer set programs and first-order logic☆17Oct 20, 2026Updated last week
- Connecting bv_decide to SMTLIB.☆19Oct 19, 2026Updated last week
- Combinatorial phantom types for discrete mathematics☆16Dec 26, 2025Updated 10 months ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆74May 17, 2024Updated 2 years ago
- Refinement Types in (unstable) Rust☆46Updated this week
- A lightweight, customizable, interpreted programming language☆12Nov 10, 2019Updated 6 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Aug 31, 2026Updated 2 months ago
- The website for the AdvancedResearch community☆22Oct 25, 2026Updated last week
- Anonymous enum and checked exception for Rust.☆22Apr 4, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A terminal style toolkit inspired by CSS for elegant TUIs☆41Jul 30, 2022Updated 4 years ago
- Datastructures and algorithms for audio graphs☆22Aug 29, 2022Updated 4 years ago
- A BASIC language interpreter. Does not conform to existing standards. Mostly a toy.☆11Jul 25, 2026Updated 3 months ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 3 years ago
- MA4N1 Theorem Proving with Lean☆19Updated this week
- Helper proc-macro to "ungroup" a captured metavariable☆11Jul 19, 2023Updated 3 years ago
- A quick-and-dirty attempt to get scoped tasks in Rust.☆14Jun 4, 2023Updated 3 years ago
- ☆15Jun 18, 2022Updated 4 years ago
- the inelegant parser☆13Dec 28, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Birkana SVG generator.☆14Feb 25, 2019Updated 7 years ago
- Unstable egglog standard library.☆18Updated this week
- A monotonic solver designed to be easy to use with Rust enum expressions☆50Apr 11, 2021Updated 5 years ago
- A Rust library offering newtyped indices and vecs that use those indices☆22Aug 17, 2024Updated 2 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Safe low-level Vulkan bindings for Rust☆14Nov 12, 2025Updated 11 months ago
- ☆23Jul 3, 2018Updated 8 years ago
- WhitePool is a lightweight, generic pooling library for Rust+Tokio☆17Sep 5, 2022Updated 4 years ago
- A Rust library for rendering images to terminals☆28Jul 30, 2022Updated 4 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.
- Non-standard integer types like u7, u9, u10, u63, i7, i9 etc.☆12Nov 11, 2024Updated last year
- Vale's generational reference allocator as a Rust library☆16Jul 8, 2023Updated 3 years ago
- impl Stream for (your own) Generator☆18Jun 3, 2019Updated 7 years ago
- Typed λ-calculus in Rust☆31Jun 27, 2023Updated 3 years ago
- A C++ Compiler (on the works)☆14Jun 25, 2023Updated 3 years ago
- A linear solver designed to be easy to use with Rust enums.☆35Apr 11, 2021Updated 5 years ago
- Asynchronous pipelines of contiguous data, for rust.☆18Oct 9, 2023Updated 3 years ago