Alternatives and similar repositories for logic-rs:

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

• martypapa / debug-tree
  Visualise recursive functions and tree structures.
  ☆30Updated 3 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 3 years ago
• anowell / interpolate
  Very simple Rust string interpolation
  ☆36Updated 2 years ago
• TedDriggs / from_variants
  A rust proc-macro to generate conversions for an enum of newtype variants
  ☆28Updated 2 years ago
• rust-alt / fluent-impl
  A procedural macro that generates chaining methods from non-chaining ones in an impl block.
  ☆15Updated 6 years ago
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆23Updated 3 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated last year
• timothee-haudebourg / source-span
  Source file fragment location and display utilities for Rust.
  ☆17Updated 3 years ago
• Kixiron / crunch-lang
  A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.
  ☆53Updated 3 years ago
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 4 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• zademn / facto-rs
  Working prototype
  ☆16Updated 2 years ago
• ahirner / backtrack-rs
  Solve hard constraints easily with Rust.
  ☆15Updated 2 years ago
• gtestault / primitive-recursive-functions
  Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
  ☆39Updated 6 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
• kurtschelfthout / finally-tagless
  ☆16Updated last year
• hadronized / bidule
  Very simple and Rust FRP crate
  ☆19Updated 4 years ago
• Rodrigodd / chasm-rs
  A simple compile-to-WebAssembly language rewritten in Rust
  ☆11Updated 2 years ago
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 4 years ago
• azriel91 / enum_variant_type
  Proc macro derive to generate structs from enum variants.
  ☆26Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 6 months ago
• jonasrmichel / tiling
  A Rust library for constructing tilings of regular polygons
  ☆31Updated 3 years ago
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆33Updated this week
• shepmaster / peresil
  A simplistic parsing library in Rust
  ☆20Updated 4 years ago
• Canop / splitty
  A Rust string splitter taking quotes into account
  ☆16Updated 6 months ago
• ebkalderon / example-fault-tolerant-parser
  Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)
  ☆29Updated 2 years ago
• micouy / p-arse
  the inelegant parser
  ☆13Updated 3 years ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆18Updated last month
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆66Updated 9 months ago
• thomcc / index_vec
  A Rust library offering newtyped indices and vecs that use those indices
  ☆16Updated 6 months ago