Alternatives and similar repositories for well-documented

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

• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 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
• bollu / simplexhc
  compiler with polyhedral optmization for a lazy functional programming language
  ☆67Updated 7 years ago
• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆68Updated 2 months ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 2 months ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆123Updated 5 years ago
• ekmett / auth
  ☆40Updated 6 years ago
• nmattia / stutter
  CLI string generator based on regex-like operations
  ☆39Updated 5 years ago
• VictorTaelin / unknown_halting_status
  Small programs with unknown halting status.
  ☆12Updated 8 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• roelvandijk / base-unicode-symbols
  Unicode alternatives for common functions and operators
  ☆36Updated 3 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• seagreen / llvm-in-haskell
  Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell
  ☆17Updated 6 years ago
• ghc / nofib
  Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆13Updated 5 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 5 months ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago