ixjf / logic-rsLinks
A parser of relational predicate logic & truth tree solver, written in Rust.
☆18Updated 6 years ago
Alternatives and similar repositories for logic-rs
Users that are interested in logic-rs are comparing it to the libraries listed below
Sorting:
- Mitochondria is the powerhouse of the `Cell`☆30Updated 8 years ago
- A rust proc-macro to generate conversions for an enum of newtype variants☆29Updated 2 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆40Updated 6 years ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Updated 2 years ago
- Fast and compact sets of bytes or ASCII characters☆28Updated 4 years ago
- A Rust library offering newtyped indices and vecs that use those indices☆19Updated last year
- Experimental type level programming in Rust☆36Updated 4 years ago
- Run your Rust CLI programs as state machines with persistence and recovery abilities☆36Updated 2 years ago
- A procedural macro that generates chaining methods from non-chaining ones in an impl block.☆15Updated 6 years ago
- Visualise recursive functions and tree structures.☆30Updated 4 years ago
- Graph library for Rust☆27Updated last week
- Rust procedural macro that renders ASCII diagrams in doc comments as SVG images.☆21Updated 9 months ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- a BOCU-1 encoder/decoder library in rust☆18Updated 2 years ago
- Efficient sized chunk datatypes for immutable.rs☆28Updated 3 years ago
- Website to highlight Rust language interop options☆23Updated 2 years ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 3 years ago
- Fast subset and superset queries based on tries.☆11Updated 2 years ago
- Solve hard constraints easily with Rust.☆15Updated 3 years ago
- Propositional logic with types in Rust☆63Updated 2 years ago
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Updated 3 years ago
- Inline multiline text-editor/prompt written in Rust.☆27Updated last year
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆25Updated last year
- Pretty parser error reporting.☆34Updated 2 years ago
- Ambient Authority☆21Updated 2 years ago
- Human-friendly indexed collections☆54Updated this week
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Macro-rules-style syntax matching for procedural macros☆53Updated last year
- Rust library for displaying compiler diagnostics like rustc☆23Updated 2 years ago