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 2 weeks ago
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated 8 months ago
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆74Updated 5 months ago
• matklad / window
  ☆34Updated last month
• maplant / scheme-rs
  Embedded Scheme for the Async Rust Ecosystem
  ☆176Updated last week
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆43Updated 2 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆59Updated last year
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated last month
• dada-lang / dada-model
  Why can't a tree be called Pluplusch?
  ☆28Updated 2 weeks ago
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆77Updated 2 years ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆48Updated 2 years ago
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆56Updated 2 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• guygastineau / rust-trees-that-grow
  Brief implementation of Trees that Grow in Rust
  ☆39Updated 2 years ago
• azaleacolburn / sonder
  Static Pointer Analyzer and Transpiler from C to Safe Rust
  ☆25Updated this week
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated 2 months ago
• kamirr / math-jit
  ☆35Updated 3 months ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆121Updated last year
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated last month
• badboy / makerust
  Rust, but in a Makefile.
  ☆66Updated 2 years ago
• maplant / marche
  c'est le marché
  ☆40Updated last year
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆86Updated last year
• zakcutner / rumpsteak
  Session types for asynchronous communication between multiple parties.
  ☆41Updated 10 months ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• oli-obk / quine-mc_cluskey
  Rust implementation of the Quine-McCluskey algorithm and Petrick's method
  ☆32Updated 2 years ago
• fklr / atomalloc
  atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust
  ☆29Updated 2 months ago