Alternatives and similar repositories for whitespace-nd

Users that are interested in whitespace-nd are comparing it to the libraries listed below

• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 5 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago
• tsoding / louis
  Small library for braillizing images
  ☆17Updated 5 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated last year
• ChrisPenner / void-space
  Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
  ☆142Updated 5 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 5 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated 3 months ago
• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated 8 months ago
• egonSchiele / actionkid
  A video game framework for haskell
  ☆51Updated 10 years ago
• dhall-lang / dhall-nethack
  Generate NetHack configurations using Dhall
  ☆36Updated 4 years ago
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆20Updated last month
• fractalide / racket2nix
  Take an info.rkt file, produce a info.nix file.
  ☆42Updated 4 years ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆21Updated 2 months ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆49Updated last year
• haskell / zlib
  Compression and decompression in the gzip and zlib formats
  ☆39Updated last month
• jkachmar / dotnix
  Shackled within an elaborate prison of my own design.
  ☆39Updated last year
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆27Updated 2 months ago
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 4 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 5 years ago
• kowainik / membrain
  🧠 Type-safe memory units
  ☆61Updated 4 years ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 11 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 3 weeks ago
• MarcelineVQ / idris2-streaming
  Effectful Streaming for Idris
  ☆15Updated 4 years ago
• fused-effects / fused-effects-lens
  Lens combinators for fused-effects.
  ☆17Updated 4 years ago