Alternatives and similar repositories for papers

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

• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆95Updated 7 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆98Updated 8 months ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 5 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 11 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 5 years ago
• jgm / highlighting-kate
  A syntax highlighting library in Haskell, based on Kate syntax definitions
  ☆110Updated 7 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆275Updated 8 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 9 years ago
• ledger / ledger4
  A rewrite of Ledger's core mathematical concepts in Haskell
  ☆44Updated 8 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• archhaskell / cblrepo
  Tool to simplify managing a consistent set of Haskell packages for distributions.
  ☆39Updated 7 years ago
• timo / ADT
  Algebraic Data Types for perl6, inspired by Haskell
  ☆12Updated 5 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆10Updated 10 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago
• greghendershott / travis-racket
  Use Travis CI with Racket
  ☆42Updated 4 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆115Updated 8 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• tonyg / racket-something
  Indentation-based Racket Syntax
  ☆37Updated 3 years ago
• chrisdone-archive / chrisdone-xmonad
  My xmonad configuration.
  ☆33Updated 9 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 7 years ago
• deech / ATSPresentation
  ☆21Updated 9 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 3 years ago
• mattmight / bib2sx
  A tool for manipulating bibtex files as s-expressions
  ☆33Updated 6 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 10 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 5 months ago