Alternatives and similar repositories for whitespace-nd

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

• ChrisPenner / void-space
  Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
  ☆144Updated 5 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆60Updated 5 years ago
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆26Updated 5 months ago
• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated 11 months ago
• tsoding / louis
  Small library for braillizing images
  ☆17Updated 6 years ago
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated 2 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆50Updated 2 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆22Updated 11 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 5 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 5 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 7 years ago
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆23Updated 4 months ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆34Updated last month
• 4e6 / nanoid-hs
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Updated 7 years ago
• kowainik / membrain
  🧠 Type-safe memory units
  ☆61Updated 5 years ago
• fractalide / racket2nix
  Take an info.rkt file, produce a info.nix file.
  ☆45Updated 4 years ago
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆62Updated 4 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• lexi-lambda / lexi-lambda.github.io
  ☆37Updated 5 months ago
• ptigwe / hs-flatris
  An implementation of Flatris using Haskell and Miso
  ☆32Updated 6 years ago
• kowainik / kowainik.github.io
  🎂 Kowainik web page
  ☆31Updated 2 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆28Updated 11 months ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 5 years ago
• haskell / zlib
  Compression and decompression in the gzip and zlib formats
  ☆39Updated 3 months ago
• zaitsev85 / message-from-space
  ☆34Updated 2 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 9 months ago
• 8Gitbrix / 2048Haskell
  Play 2048 from the command line /terminal !
  ☆45Updated 8 years ago
• pheymann / specdris
  A test framework for Idris
  ☆55Updated 6 years ago