HaskellCNOrg / haper
FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers
☆12Updated 7 years ago
Alternatives and similar repositories for haper:
Users that are interested in haper are comparing it to the libraries listed below
- Generic parser combinators☆86Updated 3 months ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- Attempt to port All About Monads to HaskellWiki☆54Updated 7 years ago
- ☆49Updated 12 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- ☆96Updated 10 years ago
- My own little "24 Days of Hackage" for 2015☆62Updated 8 years ago
- Dive into GHC☆82Updated 8 years ago
- Haskell 98 comonads☆77Updated 2 months ago
- ☆94Updated 8 years ago
- A collection of Notes on GHC☆69Updated 5 years ago
- xmonad in Coq☆43Updated 12 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Stanford CS240h Class Notes -- Functional Systems in Haskell☆27Updated 10 years ago
- Complete raw OpenGL bindings for Haskell☆93Updated 10 months ago
- A Haskell event notification library☆46Updated 14 years ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 9 years ago
- Haskell 98 contravariant functors☆73Updated 4 months ago
- A lightweight Haskell binding to the C mysqlclient API☆37Updated last year
- Dive into Haskell: Examples of all features of this Pure Functional programing language☆69Updated last year
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated last year
- Learn You a Lambda, a Haskell Tutorial☆47Updated 8 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- higher-kinded data☆30Updated last year
- Content for the www.yesodweb.com site☆67Updated last month
- Lightweight package providing commonly useful parser combinators☆53Updated 2 weeks ago
- Examples for the book “Alex and Happy”☆34Updated 9 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- A more elegant specification for FRP☆24Updated last year