Alternatives and similar repositories for Letter:

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

• robrix / ui-effects
  An experiment towards a UI programming model inspired by algebraic effects.
  ☆30Updated 7 years ago
• dobesv / charity
  Charity Programming Language
  ☆39Updated 10 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 9 years ago
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆77Updated last month
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆117Updated 7 years ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆48Updated 7 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 2 years ago
• david-christiansen / todo-list
  A TODO list feature for DrRacket, like to Agda's goal list but for any language.
  ☆33Updated last year
• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆64Updated 6 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 7 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 2 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 5 months ago
• mchakravarty / BigPixel
  Pixel art for games
  ☆140Updated 10 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆253Updated 9 years ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆143Updated 7 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• joewillsher / Vist
  The Vist programming language
  ☆16Updated 8 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 3 years ago
• gallettilance / magnificATS
  Collection of ATS goodness
  ☆35Updated 5 years ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆72Updated 3 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 9 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 9 years ago
• nrnrnr / SML-Lint
  Tool for detecting bad style in Standard ML programs
  ☆16Updated 6 years ago
• haskell-suite / haskell-tc
  Haskell typechecker
  ☆39Updated 5 years ago
• hbr / albatross
  Compiler for the Albatross Language
  ☆11Updated 3 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago