Alternatives and similar repositories for papers

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

• cdosborn / lit
  A modern tool for literate programming
  ☆275Updated 8 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆99Updated 9 months ago
• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆95Updated 7 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆49Updated 5 years ago
• chrisdone-archive / chrisdone-xmonad
  My xmonad configuration.
  ☆33Updated 10 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago
• ledger / ledger4
  A rewrite of Ledger's core mathematical concepts in Haskell
  ☆44Updated 8 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆109Updated 8 years ago
• jgm / filestore
  A versioning file store backed by git, darcs, or mercurial
  ☆35Updated last month
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 11 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 7 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 5 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• fmthoma / vgrep
  A pager for grep
  ☆105Updated 3 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 3 years ago
• deech / ATSPresentation
  ☆21Updated 10 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 2 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 9 years ago
• Phreedom / nixpkgs-monitor
  nixpkgs package status, freshness and security status monitor
  ☆39Updated 8 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 5 years ago
• motersen / pot
  organizes tags
  ☆23Updated 7 years ago
• GaloisInc / golang
  Parser and type analysis for the Go programming language
  ☆12Updated 2 years ago
• nominolo / atto-lisp
  Efficient parsing and encoding of Lisp expressions for Haskell.
  ☆24Updated 5 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• archhaskell / cblrepo
  Tool to simplify managing a consistent set of Haskell packages for distributions.
  ☆39Updated 7 years ago
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆72Updated 9 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago