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
  ☆104Updated this week
• maplant / scheme-rs
  Embedded Scheme for the Async Rust Ecosystem
  ☆220Updated this week
• eqlog / eqlog
  Datalog with equality for rust
  ☆69Updated last week
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆75Updated 9 months ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆122Updated last year
• matklad / abont
  Finally, a shell for all seasons!
  ☆120Updated 8 months ago
• SaberVM / SaberVM
  ☆212Updated last year
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated last year
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• cfallin / weval
  ☆174Updated 2 weeks ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆87Updated 2 years ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆44Updated last year
• linkdd / letlang
  Functional language with a powerful type system.
  ☆172Updated last year
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆106Updated 3 months ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆223Updated 10 months ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆47Updated 6 months ago
• RyanWelly / lisp-in-rs-macros
  A Lisp interpreter written fully in rust macros.
  ☆280Updated last year
• steveklabnik / rue
  A programming language that is a minimal subset of Rust
  ☆272Updated 2 weeks ago
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆59Updated 6 months ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆43Updated 6 months ago
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆171Updated this week
• playXE / waffle-scheme
  Simple scheme bytecode VM
  ☆29Updated 3 years ago
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆77Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 5 months ago
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆49Updated 3 weeks ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆65Updated last year
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆39Updated this week
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• ekzhang / ukanren-rs
  Rust implementation of µKanren, a featherweight relational programming language.
  ☆115Updated 2 years ago