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
- ☆49Updated 12 years ago
- A lightweight Haskell binding to the C mysqlclient API☆37Updated last year
- xmonad in Coq☆43Updated 12 years ago
- Generic parser combinators☆86Updated 2 months ago
- Learn You a Lambda, a Haskell Tutorial☆47Updated 8 years ago
- Dive into GHC☆82Updated 8 years ago
- Complete raw OpenGL bindings for Haskell☆93Updated 8 months ago
- A Haskell event notification library☆46Updated 14 years ago
- Support for calling Python from Haskell☆18Updated 12 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 11 years ago
- The Ntha Programming Language☆93Updated 8 years ago
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Updated 11 years ago
- A more elegant specification for FRP☆24Updated last year
- Fast base64 encoding and decoding for Haskell.☆45Updated last year
- A Haskell implementation of the Jinja template language.☆78Updated last month
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 9 years ago
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- My own little "24 Days of Hackage" for 2015☆62Updated 8 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- Haskell implementation of MessagePack / msgpack.org[Haskell]☆138Updated last year
- ☆96Updated 10 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- JVM code generation☆32Updated 5 years ago
- Examples for the book “Alex and Happy”☆34Updated 9 years ago
- Haskell 98 comonads☆77Updated last month
- A language based on homotopy type theory with an interval☆84Updated 9 years ago