Alternatives and similar repositories for prolog-rs:

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

• maplant / scheme-rs
  Embedded Scheme for the Async Rust Ecosystem
  ☆40Updated this week
• raviqqe / stak
  The miniature, embeddable R7RS Scheme implementation in Rust
  ☆77Updated this week
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated 5 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆67Updated 3 months ago
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆73Updated last month
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆54Updated last year
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆39Updated 2 months ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 6 months ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated 2 years ago
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated 8 months ago
• badboy / makerust
  Rust, but in a Makefile.
  ☆66Updated last year
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆40Updated 5 months ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆29Updated 3 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆102Updated 2 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆61Updated last year
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆78Updated 2 years ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆119Updated last year
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated last year
• fir-lang / fir
  ☆32Updated this week
• matklad / window
  ☆32Updated 5 months ago
• maplant / marche
  c'est le marché
  ☆39Updated last year
• zakcutner / rumpsteak
  Session types for asynchronous communication between multiple parties.
  ☆40Updated 6 months ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆38Updated this week
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated 9 months ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆23Updated 3 months ago
• rljacobson / lifetimes
  A lifetime inference algorithm for the Rust programming language written in Soufflé.
  ☆24Updated 5 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 3 years ago
• graydon / panic-room
  ☆15Updated 6 months ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆43Updated 8 years ago