HaskellCNOrg / haper
FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers
☆12Updated 7 years ago
Related projects: ⓘ
- Generic parser combinators☆88Updated 4 months ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- xmonad in Coq☆43Updated 12 years ago
- Dive into GHC☆82Updated 7 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- Attempt to port All About Monads to HaskellWiki☆54Updated 6 years ago
- ☆33Updated this week
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated last year
- Learn You a Lambda, a Haskell Tutorial☆47Updated 7 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- Fast base64 encoding and decoding for Haskell.☆45Updated 11 months ago
- A lightweight Haskell binding to the C mysqlclient API☆37Updated last year
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 11 years ago
- Haskell 98 comonads☆77Updated 11 months ago
- ☆49Updated 11 years ago
- Diffing of (expression) trees.☆76Updated last month
- 2048 in Idris☆121Updated 6 years ago
- A Haskell event notification library☆46Updated 14 years ago
- Alef Lazily Evaluates Functions☆31Updated 11 years ago
- Complete raw OpenGL bindings for Haskell☆93Updated 4 months ago
- A naive θ..θ programming language☆27Updated 5 years ago
- array, slices and text☆70Updated 2 months ago
- Difference lists in Haskell☆65Updated 2 months ago
- ☆41Updated 8 years ago
- Elaborate and expressive S-Expression library for Haskell☆61Updated 2 months ago
- Haskell 98 contravariant functors☆73Updated 2 months ago
- A collection of Notes on GHC☆69Updated 5 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated last year