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
  ☆95Updated last week
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆75Updated 7 months ago
• maplant / scheme-rs
  Embedded Scheme for the Async Rust Ecosystem
  ☆186Updated last week
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆122Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated this week
• matklad / abont
  Finally, a shell for all seasons!
  ☆118Updated 6 months ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆87Updated last year
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆41Updated 4 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆61Updated 2 years ago
• matklad / window
  ☆35Updated 3 weeks ago
• SaberVM / SaberVM
  ☆212Updated last year
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆45Updated 4 months ago
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated 10 months ago
• linkdd / letlang
  Functional language with a powerful type system.
  ☆171Updated last year
• maplant / marche
  c'est le marché
  ☆40Updated 2 years ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆20Updated last year
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆38Updated this week
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆57Updated last year
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆58Updated 4 months ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆220Updated 8 months ago
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆269Updated this week
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• guygastineau / rust-trees-that-grow
  Brief implementation of Trees that Grow in Rust
  ☆39Updated 2 years ago
• Wilfred / garden
  an interactive programming language
  ☆45Updated this week
• cfallin / weval
  ☆172Updated 8 months ago
• BurntSushi / rsc-regexp
  Translations of a simple C program to Rust.
  ☆141Updated last year
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆163Updated this week
• badboy / makerust
  Rust, but in a Makefile.
  ☆66Updated 2 years ago
• kamirr / math-jit
  ☆35Updated 5 months ago