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
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 10 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆81Updated 9 months ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆253Updated 9 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated last month
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆118Updated 7 years ago
• skogsbaer / hscurses
  ncurses binding for Haskell
  ☆62Updated 2 months ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆124Updated 5 years ago
• larsyencken / marelle
  Test-driven system administration with a little extra logic.
  ☆387Updated 6 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆170Updated 7 years ago
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 4 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• ledger / ledger4
  A rewrite of Ledger's core mathematical concepts in Haskell
  ☆44Updated 8 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆209Updated 6 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆123Updated 10 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆86Updated 3 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆66Updated 3 weeks ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated last year
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆110Updated 11 years ago
• mythryl / mythryl
  The Mythryl programming language
  ☆117Updated 9 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆197Updated 3 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago