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
  ☆68Updated 4 months ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆125Updated 5 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆62Updated 3 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 9 years ago
• bollu / simplexhc
  compiler with polyhedral optmization for a lazy functional programming language
  ☆68Updated 7 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• xldenis / ill
  educational compiler for not (quite) toy languages
  ☆21Updated 6 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 8 months ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated 2 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆75Updated 5 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• emilypi / group-theory
  The theory of groups
  ☆78Updated last year
• jkarni / ZipperFS
  Oleg Kiselyov's zipper-based file-server/OS
  ☆25Updated 5 years ago
• nikivazou / theorem-proving-template
  Template repo for theorem proving in Liquid Haskell
  ☆32Updated 6 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 3 weeks ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 6 years ago
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆138Updated 3 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 7 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 9 years ago
• martijnbastiaan / sprockell
  Simple processor in Haskell
  ☆11Updated 9 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆81Updated 3 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago