Alternatives and similar repositories for yam

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

• P-bibs / skiff
  A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!
  ☆31Updated 3 years ago
• Starlight-JS / comet
  Garbage collector library
  ☆23Updated 3 years ago
• playXE / capy
  Scheme implementation (now maybe working properly)
  ☆18Updated last year
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• etiams / lambdaspeed
  Computing 2^1000 in 7 seconds with semioptimal lambda calculus
  ☆24Updated this week
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆17Updated 3 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 9 months ago
• vishpat / scheme-rs
  Lisp compiler using Rust
  ☆18Updated last year
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆59Updated last year
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆48Updated 2 years ago
• nikis05 / derive-visitor
  ☆31Updated 11 months ago
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• playXE / rsgc
  ☆19Updated last year
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• caius-iulius / spinnaker
  ☆27Updated last year
• ehatti / LHL
  Linearizability Hoare Logic
  ☆14Updated last month
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 4 years ago
• playXE / waffle-scheme
  Simple scheme bytecode VM
  ☆29Updated 3 years ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week
• JohnDowson / rotth
  Rotth is a stack based concatenative language highly inspired by Porth
  ☆16Updated last year
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated 2 months ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• Kixiron / tagged-box
  A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…
  ☆19Updated 5 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• fir-lang / fir
  Fir programming language
  ☆52Updated this week