Alternatives and similar repositories for papers

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

• ledger / ledger4
  A rewrite of Ledger's core mathematical concepts in Haskell
  ☆44Updated 8 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 11 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆100Updated 11 months ago
• deech / ATSPresentation
  ☆21Updated 10 years ago
• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆95Updated 7 years ago
• archhaskell / cblrepo
  Tool to simplify managing a consistent set of Haskell packages for distributions.
  ☆39Updated 7 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 7 years ago
• fmthoma / vgrep
  A pager for grep
  ☆106Updated 3 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 5 years ago
• aaronlevin / free-http
  An HTTP Client in Haskell Based on Free Monads
  ☆10Updated 9 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆48Updated 8 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆277Updated 8 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆49Updated 5 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• jgm / filestore
  A versioning file store backed by git, darcs, or mercurial
  ☆36Updated 2 months ago
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆72Updated 9 years ago
• silky / super-reference
  Web-based reference manager, written in Haskell.
  ☆30Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• timo / ADT
  Algebraic Data Types for perl6, inspired by Haskell
  ☆12Updated 5 years ago
• jgoerzen / hsh
  Shell Integration Library [Haskell]
  ☆54Updated 7 months ago
• SamProtas / hs-triplesec
  TripleSec is a simple, triple-paranoid, symmetric encryption library
  ☆12Updated last year
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆17Updated 6 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆25Updated last month