Alternatives and similar repositories for logic-rs

Users that are interested in logic-rs are comparing it to the libraries listed below

• thomcc / index_vec
  A Rust library offering newtyped indices and vecs that use those indices
  ☆20Updated last year
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆23Updated 3 months ago
• martypapa / debug-tree
  Visualise recursive functions and tree structures.
  ☆30Updated 4 years ago
• TedDriggs / from_variants
  A rust proc-macro to generate conversions for an enum of newtype variants
  ☆31Updated 2 years ago
• kevinmehall / codemap-diagnostic
  Rust library for displaying compiler diagnostics like rustc
  ☆24Updated 2 years ago
• grego / bset
  Fast and compact sets of bytes or ASCII characters
  ☆28Updated 4 years ago
• kamirr / math-jit
  ☆35Updated 11 months ago
• jkelleyrtp / pipette
  A tiny crate mimicking Elixir's pipe operator for Rust without macros.
  ☆36Updated 4 years ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆38Updated 3 months ago
• xlambein / syntactic-for
  A syntactic "for" loop Rust macro
  ☆56Updated 2 years ago
• bodil / sized-chunks
  Efficient sized chunk datatypes for immutable.rs
  ☆28Updated 3 years ago
• nox / mitochondria
  Mitochondria is the powerhouse of the `Cell`
  ☆30Updated 9 years ago
• KSXGitHub / pipe-trait
  Make it possible to chain regular functions
  ☆57Updated last year
• jDomantas / internal-iterator
  ☆30Updated last year
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 5 years ago
• jkelleyrtp / cargo-easy-release
  A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io
  ☆14Updated 2 years ago
• zesterer / ffd
  Fast Function Dispatch: Improving the performance of Rust's dynamic function calls
  ☆36Updated last year
• Byron / termbook
  A runner for `mdbooks` to keep your documentation tested.
  ☆53Updated 5 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆41Updated 4 years ago
• ebkalderon / example-fault-tolerant-parser
  Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)
  ☆30Updated 3 years ago
• brunocodutra / reducer
  A predictable reactive framework for Rust apps inspired by Redux
  ☆60Updated last year
• rust-alt / fluent-impl
  A procedural macro that generates chaining methods from non-chaining ones in an impl block.
  ☆15Updated 7 years ago
• RustyYato / type-families
  ☆46Updated 4 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆71Updated last year
• KaiserKarel / set-trie
  Fast subset and superset queries based on tries.
  ☆11Updated 2 years ago
• programmerjake / algebraics
  algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics
  ☆28Updated 4 months ago
• oli-obk / pandoc-ast
  ☆38Updated last year
• kurtschelfthout / finally-tagless
  ☆17Updated 2 years ago
• joseph-gio / type-cli
  ☆13Updated 5 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 4 years ago