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:
- A Rust library offering newtyped indices and vecs that use those indices☆20Updated last year
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Updated 2 years ago
- A rust proc-macro to generate conversions for an enum of newtype variants☆29Updated 2 years ago
- ☆13Updated 4 years ago
- a BOCU-1 encoder/decoder library in rust☆18Updated 2 years ago
- Inline multiline text-editor/prompt written in Rust.☆27Updated last year
- Ambient Authority☆21Updated 2 years ago
- Visualise recursive functions and tree structures.☆30Updated 4 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- Fast and compact sets of bytes or ASCII characters☆28Updated 4 years ago
- A runner for `mdbooks` to keep your documentation tested.☆51Updated 5 years ago
- Efficient sized chunk datatypes for immutable.rs☆28Updated 3 years ago
- A newtype wrapper that causes Debug impls to skip a field.☆21Updated 2 years ago
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Updated 4 years ago
- Solve hard constraints easily with Rust.☆15Updated 3 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- Mitochondria is the powerhouse of the `Cell`☆30Updated 8 years ago
- Pretty parser error reporting.☆34Updated 2 years ago
- Search through rust crates without leaving the terminal☆31Updated 11 months ago
- Partial function application macro for Rust☆47Updated 5 years ago
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago
- Graph library for Rust☆27Updated last month
- Human-friendly indexed collections☆55Updated last week
- Command line interface as a function.☆76Updated 2 years ago
- ☆35Updated 8 months ago
- 🐠Like procedural macro, but generates sources! 🐡☆30Updated 5 years ago
- Rust library for displaying compiler diagnostics like rustc☆23Updated 2 years ago
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆25Updated last year
- Historic Rust code browsing☆35Updated 4 years ago
- A dictionary of jargon and tropes around the community of Rust developers.☆49Updated 2 years ago