Alternatives and similar repositories for papers:

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

• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 5 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆10Updated 9 years ago
• haskell / haskell-snippets
  Official collection of YASnippet Haskell snippets for Emacs.
  ☆12Updated 3 years ago
• vsedach / mouse-copy
  LispM/MCL style one-click mouse copy for GNU Emacs
  ☆22Updated 6 years ago
• archhaskell / cblrepo
  Tool to simplify managing a consistent set of Haskell packages for distributions.
  ☆39Updated 6 years ago
• tonyfischetti / starlight
  A practical application launcher for impractical people
  ☆12Updated last year
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 10 years ago
• motersen / pot
  organizes tags
  ☆23Updated 7 years ago
• guitarvydas / vsh
  Visual SH, GRAph SH - simple visual (diagrammatic) shell
  ☆28Updated last year
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆97Updated 2 months ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• depressed-pho / HsOpenSSL
  OpenSSL binding for Haskell
  ☆20Updated 5 years ago
• orchid-hybrid / scm--js
  scm->js
  ☆22Updated 9 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 9 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• mpickering / hlint-refactor-mode
  Emacs bindings for hlint's --refactor option
  ☆27Updated 6 years ago
• reinh / haskell-wishlist
  A curated wishlist of Haskell libraries, packages, and tools
  ☆16Updated 8 years ago
• Fuco1 / blablabla
  A follower to litable
  ☆15Updated 8 years ago
• ledger / ledger4
  A rewrite of Ledger's core mathematical concepts in Haskell
  ☆44Updated 7 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• eugeneia / geneva
  Geneva: portable document preparation system
  ☆9Updated 8 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• colonelpanic8 / tile
  Interactively cycle through pre-defined custom layout definitions à la XMonad
  ☆10Updated 8 years ago
• ympbyc / s-exploration
  Lisp is data. Data needs a visualization tool.
  ☆15Updated 11 years ago
• tonyg / racket-something
  Indentation-based Racket Syntax
  ☆37Updated 3 years ago
• TikhonJelvis / talks
  Slides for my talks at various meetups.
  ☆21Updated 5 months ago