Alternatives and similar repositories for lit

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

• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• skogsbaer / hscurses
  ncurses binding for Haskell
  ☆62Updated 2 months ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆209Updated 6 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆170Updated 7 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆82Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆256Updated 9 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• mythryl / mythryl
  The Mythryl programming language
  ☆117Updated 9 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated 2 months ago
• larsyencken / marelle
  Test-driven system administration with a little extra logic.
  ☆389Updated 7 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆78Updated last year
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆111Updated 8 years ago
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆120Updated 8 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• j4cbo / stilts
  SML On Stilts
  ☆37Updated 11 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆70Updated 15 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 5 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 6 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago