Alternatives and similar repositories for yam

Users that are interested in yam are comparing it to the libraries listed below

• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• playXE / waffle-scheme
  Simple scheme bytecode VM
  ☆29Updated 3 years ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• Starlight-JS / comet
  Garbage collector library
  ☆23Updated 3 years ago
• P-bibs / skiff
  A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!
  ☆31Updated 3 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆61Updated 2 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 10 months ago
• NeoCogi / pfds
  ☆18Updated 8 months ago
• caius-iulius / spinnaker
  ☆26Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• playXE / capy
  Scheme implementation (now maybe working properly)
  ☆18Updated last year
• 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
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• hannobraun / crosscut
  An experimental project to create an interactive programming language.
  ☆18Updated this week
• playXE / rsgc
  ☆19Updated last year
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆17Updated 3 years ago
• ehatti / LHL
  Linearizability Hoare Logic
  ☆14Updated 3 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆20Updated 2 weeks ago
• fluo-lang / fluoc
  a concurrent compiled programming language
  ☆15Updated 3 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆33Updated last month
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆38Updated this week
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 3 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• playXE / libimmixcons
  Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.
  ☆37Updated 4 years ago
• graninas / type-level-interfaces-in-rust
  Type-level interfaces for type-level design in Rust
  ☆25Updated 4 months ago