Alternatives and similar repositories for whitespace-nd

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

• tsoding / louis
  Small library for braillizing images
  ☆18Updated 5 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated 3 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆20Updated 3 weeks ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 5 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• kowainik / trial
  ⚖️ Trial Data Type
  ☆21Updated 2 months ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆48Updated last year
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 7 months ago
• kowainik / membrain
  🧠 Type-safe memory units
  ☆61Updated 4 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆26Updated 7 months ago
• fractalide / racket2nix
  Take an info.rkt file, produce a info.nix file.
  ☆42Updated 4 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆50Updated 4 months ago
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 4 years ago
• ChrisPenner / void-space
  Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
  ☆141Updated 5 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 5 months ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 11 years ago
• idris-community / katla
  ☆19Updated 2 months ago
• fused-effects / fused-effects-lens
  Lens combinators for fused-effects.
  ☆17Updated 4 years ago
• andreasabel / haskell-style-guide
  A style guide for Haskell code.
  ☆12Updated 2 months ago
• byorgey / split
  Standard Haskell list splitting library.
  ☆56Updated 3 months ago
• cocreature / reactand
  Tiling window manager for wayland
  ☆16Updated 8 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 5 years ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated last year
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆27Updated last month
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• dzen-dhall / dzen-dhall
  Configure dzen2 bars in Dhall language
  ☆24Updated 5 years ago