Alternatives and similar repositories for papers

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

• sfischer13 / awesome-frege
  Useful resources for the Frege programming language
  ☆30Updated 3 years ago
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 5 years ago
• sfischer13 / awesome-eta
  Useful resources for the Eta programming language
  ☆62Updated 3 years ago
• BinRoot / Haskell-Lectures
  Introduction to Haskell, CS 1501 Lecture slides
  ☆49Updated 10 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 8 years ago
• rodrigosetti / master-plan
  Project Management for Hackers
  ☆134Updated 6 years ago
• RaminHAL9001 / Dao
  The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence,…
  ☆47Updated 4 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆121Updated 2 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 9 years ago
• dterei / Research-Papers
  Collection of various research papers I find interesting
  ☆84Updated 9 years ago
• gip / fetchIO
  fetchIO is a simple, configurable, fault-tolerant web crawler written in Haskell
  ☆23Updated 8 years ago
• tonymorris / parametricity
  A talk on parametricity
  ☆36Updated last year
• gasche / popl2014-papers
  ☆73Updated 11 years ago
• carliros / software-foundations-book
  http://www.cis.upenn.edu/~bcpierce/sf
  ☆14Updated 5 years ago
• gspindles / Papers
  A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics
  ☆79Updated 7 years ago
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• sdiehl / papers
  ☆96Updated 10 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• bishboria / learnyouahaskell
  Code from Learn You A Haskell book: http://learnyouahaskell.com/
  ☆17Updated 12 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 4 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• VerbalExpressions / HaskellVerbalExpressions
  ☆63Updated 6 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• type-theory / learn-tt
  A collection of resources for learning type theory.
  ☆100Updated 9 years ago
• ToJans / learninghaskell
  Learning Haskell
  ☆49Updated 9 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 9 years ago