Alternatives and similar repositories for lambda-terminal:

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

• 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 10 months ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated last year
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 5 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 4 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated last year
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 4 years ago
• NorfairKing / cursor
  Cursor data and manipulation
  ☆21Updated last year
• cocreature / nanovg-hs
  NanoVG Haskell bindings
  ☆22Updated last year
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆28Updated 5 months ago
• pure-c / purec-uv
  PureC bindings to libuv
  ☆11Updated 6 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆26Updated 3 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆12Updated 5 years ago
• eckart / gl-idris
  ☆13Updated 6 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 7 months ago
• omelkonian / rewrite-inspector
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Updated 5 years ago
• newlandsvalley / purescript-midi
  MIDI and Web MIDI support
  ☆11Updated 2 years ago