ixjf / logic-rsLinks
A parser of relational predicate logic & truth tree solver, written in Rust.
☆20Updated 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 proc-macro to generate conversions for an enum of newtype variants☆31Updated 3 years ago
- Fast and compact sets of bytes or ASCII characters☆28Updated 4 years ago
- ☆13Updated 5 years ago
- A Rust library offering newtyped indices and vecs that use those indices☆20Updated last year
- A golden file testing library for rust☆38Updated 4 months ago
- Visualise recursive functions and tree structures.☆30Updated 4 years ago
- A runner for `mdbooks` to keep your documentation tested.☆54Updated 5 years ago
- Website to highlight Rust language interop options☆25Updated 2 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
- Inline multiline text-editor/prompt written in Rust.☆27Updated 2 years ago
- Run your Rust CLI programs as state machines with persistence and recovery abilities☆36Updated 2 years ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Updated last year
- Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)☆31Updated 3 years ago
- Make it possible to chain regular functions☆57Updated last year
- A procedural macro that generates chaining methods from non-chaining ones in an impl block.☆15Updated 7 years ago
- Mitochondria is the powerhouse of the `Cell`☆30Updated 9 years ago
- Efficient sized chunk datatypes for immutable.rs☆28Updated 3 years ago
- Fast subset and superset queries based on tries.☆11Updated 2 years ago
- Search through rust crates without leaving the terminal☆31Updated last year
- ☆30Updated last year
- Type-safe SQL query wrappers☆12Updated 3 years ago
- Bit-vectors and bit-slices for Rust☆29Updated 4 years ago
- ☆34Updated last year
- Propositional logic with exponentials☆23Updated 3 weeks ago
- dom-like layout for terminal applications☆13Updated 5 years ago
- ☆46Updated 4 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
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Updated 2 years ago
- Extension of nom to apply "Packrat Parsing"☆22Updated last year