Alternatives and similar repositories for louis

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

• 1Computer1 / errata
  Source code error pretty printing
  ☆49Updated 5 months ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆48Updated last year
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated last month
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 5 months ago
• tsoding / rogalik
  Simple rogue-like game in Haskell
  ☆17Updated 4 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated last year
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 8 months ago
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• lortabac / ariel
  A simple, purely-functional programming language
  ☆25Updated 2 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 2 months ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆75Updated 5 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆57Updated last year
• tsoding / kgbotka
  Twitch/Discord Chat Bot that works for KGB monkaS
  ☆17Updated 4 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• Kleidukos / Intrigue
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆14Updated last year
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 4 months ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 3 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆29Updated last year
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆19Updated 4 years ago
• stefan-hoeck / idris2-tailrec
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆14Updated last year
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆27Updated 3 weeks ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆20Updated 2 months ago
• reynir / Brainfuck
  Brainfuck formalized in Coq
  ☆26Updated 3 years ago
• kseo / fp
  John Backus' Functional Programming Systems
  ☆16Updated 9 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• kowainik / membrain
  🧠 Type-safe memory units
  ☆61Updated 4 years ago
• lunarcast / lunarbox
  Visual functional programming language
  ☆23Updated last year