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
  ☆28Updated last year
• opyapeus / psimp
  A PureScript's CoreImp AST for transpiling into dynamically typed languages
  ☆15Updated 4 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆26Updated 2 years ago
• cocreature / nanovg-hs
  NanoVG Haskell bindings
  ☆22Updated last year
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 8 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• isovector / circuitry
  the missing haskell circuit diagram library
  ☆13Updated 3 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 3 months ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆31Updated 8 months ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 4 years ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 3 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 2 months ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• atennapel / qtt-ts
  Implementation of Quantitative Type Theory (in TypeScript)
  ☆12Updated 4 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 4 months ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• kritzcreek / purescript-wasm
  Wasm library for PureScript
  ☆27Updated 5 months ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated 4 months ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated last year
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• LiamGoodacre / purescript-type-map
  A Map data structure at the type level.
  ☆8Updated 7 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago