haroldl / whitespace-nd

Related projects ⓘ

Alternatives and complementary repositories for whitespace-nd

• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• haskell / zlib
  Compression and decompression in the gzip and zlib formats
  ☆35Updated last month
• fpco / schoolofhaskell.com
  ☆16Updated 4 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆58Updated 4 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 6 months ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 5 years ago
• fractalide / racket2nix
  Take an info.rkt file, produce a info.nix file.
  ☆39Updated 3 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 10 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 9 years ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 3 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 2 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 4 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• haskell / network-uri
  URI manipulation facilities
  ☆25Updated 2 months ago
• kowainik / membrain
  🧠 Type-safe memory units
  ☆62Updated 4 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆22Updated last year
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 2 weeks ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 3 weeks ago
• ddfisher / haskell-socket-activation
  systemd socket activation library for Haskell
  ☆15Updated 4 years ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 2 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated last year
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 5 months ago
• LightAndLight / lambdapi
  Educational implementation of dependent types
  ☆19Updated 6 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆12Updated 2 years ago