Alternatives and similar repositories for language-ninja

Users that are interested in language-ninja are comparing it to the libraries listed below

• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 10 months ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 7 months ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆21Updated 5 months ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 3 months ago
• mniip / yoctoparsec
  A truly tiny monadic parsing library
  ☆28Updated 4 years ago
• haskell / tar
  Reading, writing and manipulating ".tar" archive files.
  ☆40Updated 4 months ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 4 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 6 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated this week
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 3 weeks ago
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 8 years ago
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆13Updated 7 years ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 4 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• haskell-suite / haskell-names
  Haskell suite library for name resolution
  ☆52Updated 3 months ago
• ocharles / hsfmt
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Updated 6 years ago
• dhall-lang / dhall-bash
  This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash
  ☆21Updated 6 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• jfdm / idris-xml
  A simple XML module for Idris.
  ☆13Updated 5 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated 2 years ago
• csabahruska / jhc-grin
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Updated 6 years ago
• lthms / chain
  Extensible, Type Safe Error Handling in Haskell
  ☆13Updated 4 years ago
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 7 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago