Alternatives and similar repositories for thesis:

Users that are interested in thesis are comparing it to the libraries listed below

• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆15Updated 4 months ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 6 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated last month
• leanprover / super
  Superposition prover
  ☆17Updated last year
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆78Updated 7 years ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 10 years ago
• mietek / agda-intro
  Mirror of Conor McBride’s 2011 Agda course materials
  ☆11Updated 5 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆24Updated 9 years ago
• fsestini / tt-in-cubical
  Type Theory in Type Theory using Cubical Agda
  ☆12Updated 5 years ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• ekmett / tagged
  phantom types
  ☆38Updated last month
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 3 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• valderman / shellmate
  Write type-safe shell scripts in Haskell
  ☆14Updated 5 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆120Updated 8 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• ct-gradual-typing / Papers
  The Combination of Dynamic and Static Typing from a Categorical Perspective
  ☆10Updated 7 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 6 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 10 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆32Updated 5 years ago
• jyp / topics
  Various interesting topics I'm looking at
  ☆13Updated 15 years ago