Alternatives and similar repositories for prolog_parser:

Users that are interested in prolog_parser are comparing it to the libraries listed below

• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last week
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆12Updated 4 years ago
• dureuill / transfer
  'Transfer' is to 'move' what 'Clone' is to 'copy'
  ☆11Updated 5 years ago
• nox / inert
  Inert lets you use non-Sync values in Sync context
  ☆16Updated 5 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 6 years ago
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆32Updated 3 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆31Updated 2 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆28Updated last year
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆31Updated this week
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 6 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆36Updated 8 years ago
• samsieber / tco
  ☆17Updated 4 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆31Updated 3 years ago
• graydon / concorde
  ☆27Updated 4 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆66Updated 8 months ago
• frehberg / rust-bytestool
  Compiler plugin calculating const size of string literal and others
  ☆11Updated 7 years ago
• shepmaster / ebene-rust
  A Rust source code parser and explorer
  ☆22Updated last year
• bluss / odds
  Odds and ends — collection miscellania. Extra functionality for slices, strings and other things
  ☆21Updated 4 years ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆19Updated 2 years ago
• Manishearth / humpty_dumpty
  Implicit Drop/move protection for Rust (linear types)
  ☆12Updated 9 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆42Updated 2 months ago