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
  ☆119Updated this week
• maplant / scheme-rs
  Embedded Scheme for the Rust Ecosystem
  ☆241Updated this week
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆123Updated last year
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆75Updated last year
• matklad / abont
  Finally, a shell for all seasons!
  ☆123Updated 11 months ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆230Updated last year
• SaberVM / SaberVM
  ☆216Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 3 years ago
• linkdd / letlang
  Functional language with a powerful type system.
  ☆172Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated 2 weeks ago
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated last year
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆46Updated last year
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆183Updated last week
• zesterer / yurt
  A highly experiment portable runtime
  ☆21Updated last year
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆61Updated 9 months ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆89Updated 2 weeks ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆43Updated 10 months ago
• cfallin / weval
  ☆174Updated 4 months ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆40Updated 3 months ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆54Updated 9 months ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆34Updated last year
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆52Updated last month
• azaleacolburn / sonder
  Static Pointer Analyzer and Transpiler from C to Safe Rust
  ☆24Updated 7 months ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆66Updated last year
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆58Updated 2 years ago
• jamii / zest
  ☆132Updated 2 weeks ago
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆106Updated 7 months ago
• rezigned / tur
  Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.
  ☆121Updated 3 months ago
• tweedegolf / nea
  Fast webserver with predictable memory usage
  ☆192Updated last year