Alternatives and similar repositories for papers

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

• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆103Updated last year
• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆97Updated 7 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆277Updated 8 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 11 years ago
• archhaskell / cblrepo
  Tool to simplify managing a consistent set of Haskell packages for distributions.
  ☆39Updated 7 years ago
• fmthoma / vgrep
  A pager for grep
  ☆106Updated 4 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 4 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆82Updated 7 years ago
• deech / ATSPresentation
  ☆21Updated 10 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 9 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 5 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• jgoerzen / hsh
  Shell Integration Library [Haskell]
  ☆54Updated 10 months ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆108Updated 2 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆48Updated 8 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
• jgm / highlighting-kate
  A syntax highlighting library in Haskell, based on Kate syntax definitions
  ☆111Updated 8 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆45Updated 6 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• ledger / ledger4
  A rewrite of Ledger's core mathematical concepts in Haskell
  ☆44Updated 9 years ago
• chrisdone-archive / hulk
  Haskell IRC daemon.
  ☆141Updated 8 years ago
• fpiot / arduino-ats
  ATS programing on Arduino
  ☆57Updated 10 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 11 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆50Updated 5 years ago
• JeffreyBenjaminBrown / digraphs-with-text
  ☆64Updated 7 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago