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 runner for `mdbooks` to keep your documentation tested.☆53Updated 5 years ago
- Visualise recursive functions and tree structures.☆30Updated 4 years ago
- Make it possible to chain regular functions☆50Updated last year
- Fast and compact sets of bytes or ASCII characters☆28Updated 4 years ago
- Inline multiline text-editor/prompt written in Rust.☆27Updated 2 years ago
- A Rust library offering newtyped indices and vecs that use those indices☆20Updated last year
- Propositional logic with exponentials☆23Updated 2 months ago
- Fast subset and superset queries based on tries.☆11Updated 2 years ago
- ☆35Updated 10 months ago
- A rust proc-macro to generate conversions for an enum of newtype variants☆31Updated 2 years ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Updated last year
- ☆13Updated 5 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- A golden file testing library for rust☆38Updated 2 months ago
- Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)☆30Updated 3 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
- Partial function application macro for Rust☆48Updated 5 years ago
- A syntactic "for" loop Rust macro☆56Updated 2 years ago
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Updated 4 years ago
- Experimental type level programming in Rust☆41Updated 4 years ago
- Human-friendly indexed collections☆56Updated 2 months ago
- Extension of nom to apply "Packrat Parsing"☆22Updated 10 months ago
- Client for ebbflow.io☆13Updated 4 years ago
- a BOCU-1 encoder/decoder library in rust☆18Updated 2 years ago
- Rust closures you can transfer over an FFI boundary☆27Updated 5 years ago
- Pretty parser error reporting.☆34Updated 2 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆71Updated last year
- Search through rust crates without leaving the terminal☆31Updated last year
- Propositional logic with types in Rust☆64Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago