Alternatives and similar repositories for well-documented:

Users that are interested in well-documented are comparing it to the libraries listed below

• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆67Updated last month
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• bollu / simplexhc
  compiler with polyhedral optmization for a lazy functional programming language
  ☆67Updated 7 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 6 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆166Updated 6 months ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆102Updated last year
• robdockins / edison
  Edison: A Library of Efficient Data Structures
  ☆55Updated last month
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆77Updated 4 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆74Updated 5 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆138Updated 2 years ago
• chpatrick / clang-pure
  Easy C++ code analysis with pure Haskell
  ☆35Updated 6 months ago
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆70Updated 5 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆36Updated 9 years ago
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆61Updated last year
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆94Updated 2 weeks ago
• llvm-hs / llvm-hs-pretty
  Pretty printer for LLVM AST to Textual IR
  ☆68Updated 2 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• ChrisPenner / wc
  Beating unix `wc` in Haskell
  ☆136Updated 3 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆77Updated 7 years ago