Alternatives and similar repositories for lambda-explorer

Users that are interested in lambda-explorer are comparing it to the libraries listed below

• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆53Updated 11 months ago
• BebeSparkelSparkel / biparsing
  Bidirectional Parsing. Work in Progress
  ☆32Updated 7 months ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated 2 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆120Updated 3 years ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆33Updated 4 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated 2 years ago
• matsumonkie / izuna
  Show Haskell type annotations when doing code review on Github
  ☆142Updated 4 years ago
• evertedsphere / silica
  optics for Haskell with the most amazing type errors you've seen
  ☆243Updated 5 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 2 months ago
• LightAndLight / sage
  Efficient parser combinators for Haskell
  ☆39Updated last year
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆126Updated last year
• ChrisPenner / json-to-haskell
  In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.
  ☆81Updated 4 years ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 4 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• chiroptical / declarative-programming-streams
  Active streaming declarative programmers. See who's online at the following URL:
  ☆67Updated last year
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆64Updated 7 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆121Updated 4 months ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 3 months ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• ajnsit / concur-documentation
  Documentation for Concur
  ☆65Updated 11 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 7 months ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago
• awkward-squad / ki
  A structured concurrency library
  ☆86Updated 2 months ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆66Updated 4 years ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆45Updated last year
• fumieval / Haskell-breaking-changes
  ☆88Updated 3 years ago
• seagreen / hermetic
  Strategy game in Haskell (PRs: )
  ☆51Updated 5 years ago