Alternatives and similar repositories for proto-vulcan:

Users that are interested in proto-vulcan are comparing it to the libraries listed below

• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 4 years ago
• hotg-ai / cargo-wapm
  A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.
  ☆8Updated 2 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆48Updated 2 years ago
• auxoncorp / tnfilt
  ☆33Updated 2 years ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated this week
• dimpolo / rusteval
  Add a REPL to your application with a few macros
  ☆16Updated 2 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 2 years ago
• hobofan / rust-interop
  Website to highlight Rust language interop options
  ☆24Updated last year
• jkelleyrtp / pipette
  A tiny crate mimicking Elixir's pipe operator for Rust without macros.
  ☆36Updated 3 years ago
• WeirdConstructor / WLambda
  WLambda - Embeddable Scripting Language for Rust
  ☆53Updated last month
• KSXGitHub / build-fs-tree
  Generate a filesystem tree from a macro or a YAML tree
  ☆25Updated this week
• mamcx / tree-flat
  TreeFlat is the simplest way to build & traverse a pre-order Tree in Rust
  ☆28Updated last year
• hannobraun / crosscut
  An experimental project to create an interactive programming language.
  ☆17Updated this week
• matklad / drop_bomb
  A Rust library for runtime-checked linearish types
  ☆32Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 7 months ago
• ahirner / backtrack-rs
  Solve hard constraints easily with Rust.
  ☆15Updated 2 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆66Updated 9 months ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆33Updated last month
• sunfishcode / origin-studio
  An alternative `std`-like implementation built on origin
  ☆26Updated 2 months ago
• Xaeroxe / async-io-typed
  Generic way to send serde compatible types over channels implementing AsyncRead or AsyncWrite
  ☆11Updated 2 years ago
• DerickEddington / kul
  A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…
  ☆13Updated last year
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• maciekglowka / wunderkammer
  ☆15Updated this week
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 3 years ago
• siberianbluerobin / bulk-examples-generator
  Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…
  ☆15Updated 3 years ago
• martypapa / debug-tree
  Visualise recursive functions and tree structures.
  ☆29Updated 3 years ago
• CAD97 / pegcel
  A syn targetting PEG parser generator
  ☆20Updated last year