Alternatives and similar repositories for verse:

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

• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆397Updated 2 weeks ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated 11 months ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆388Updated 2 years ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆343Updated this week
• stefan-hoeck / idris2-tutorial
  ☆207Updated 2 weeks ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆283Updated 2 months ago
• SaberVM / SaberVM
  ☆198Updated 6 months ago
• CrowdHailer / eyg-lang
  Experiments in building "better" languages and tools; for some measure of better.
  ☆217Updated this week
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆255Updated 4 months ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,030Updated last year
• ytakano / blisp
  A statically typed Lisp like scripting programming language for Rust.
  ☆207Updated last year
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,103Updated last year
• Gabriella439 / grace
  A ready-to-fork interpreted functional language with type inference
  ☆390Updated last year
• augustss / MicroHs
  Haskell implemented with combinators
  ☆400Updated this week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆185Updated last week
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆308Updated last month
• frank-lang / frank
  Frank compiler
  ☆281Updated 8 months ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆596Updated last month
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆90Updated last week
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆160Updated 2 months ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆276Updated 4 years ago
• BosqueLanguage / BosqueCore
  ☆162Updated this week
• pen-lang / pen
  The parallel, concurrent, and functional programming language for scalable software development
  ☆454Updated last week
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆271Updated last year
• argumentcomputer / yatima-lang-alpha
  A programming language for the decentralized web
  ☆448Updated last year
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆286Updated 5 months ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆116Updated 3 years ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆216Updated 2 months ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 2 years ago
• githwxi / ATS-Xanadu
  Bootstrapping ATS3
  ☆205Updated this week