Alternatives and similar repositories for lambda-terminal

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

• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated 2 years ago
• cocreature / nanovg-hs
  NanoVG Haskell bindings
  ☆22Updated 2 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 8 months ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• opyapeus / psimp
  A PureScript's CoreImp AST for transpiling into dynamically typed languages
  ☆15Updated 4 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 4 years ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆18Updated last year
• alpacaaa / tex
  Minimalistic file explorer, written in Haskell.
  ☆17Updated 6 years ago
• newlandsvalley / purescript-midi
  MIDI and Web MIDI support
  ☆11Updated 2 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 4 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆16Updated 6 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆32Updated last year
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆25Updated 9 months ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 11 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated last month
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆21Updated 2 months ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 3 months ago
• Gabriella439 / political-notes
  ☆12Updated 2 years ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 4 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated this week
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago