Alternatives and similar repositories for prolog-rs

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

• raviqqe / stak
  The miniature, embeddable R7RS Scheme implementation in Rust
  ☆91Updated this week
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last month
• matklad / window
  ☆34Updated this week
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆40Updated 3 months ago
• playXE / waffle-scheme
  Simple scheme bytecode VM
  ☆29Updated 3 years ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆45Updated 3 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆61Updated 2 years ago
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆74Updated 6 months ago
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated 10 months ago
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆57Updated 3 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆121Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• frankmcsherry / datatoad
  An interactive Datalog
  ☆33Updated last week
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆87Updated last year
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 3 months ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• wrsturgeon / rsmonad
  Haskell-style monads in Rust.
  ☆23Updated 2 years ago
• zakcutner / rumpsteak
  Session types for asynchronous communication between multiple parties.
  ☆41Updated 11 months ago
• yshui / job-security
  job control from anywhere!
  ☆63Updated last year
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆77Updated 2 years ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆32Updated 8 months ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• guygastineau / rust-trees-that-grow
  Brief implementation of Trees that Grow in Rust
  ☆39Updated 2 years ago
• hannobraun / crosscut
  An experimental project to create an interactive programming language.
  ☆18Updated this week
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 7 years ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆39Updated last week