HaskellCNOrg / haper
FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers
☆12Updated 8 years ago
Alternatives and similar repositories for haper:
Users that are interested in haper are comparing it to the libraries listed below
- Complete raw OpenGL bindings for Haskell☆93Updated last month
- Generic parser combinators☆87Updated last month
- 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
- xmonad in Coq☆45Updated 12 years ago
- ☆50Updated 12 years ago
- Fast base64 encoding and decoding for Haskell.☆45Updated last year
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- A Haskell event notification library☆46Updated 14 years ago
- Learn You a Lambda, a Haskell Tutorial☆47Updated 8 years ago
- Dive into GHC☆82Updated 8 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- Literature review of GHC's Core language, System FC☆67Updated 6 years ago
- A lightweight Haskell binding to the C mysqlclient API☆37Updated last year
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 9 years ago
- Haskell 98 contravariant functors☆73Updated 6 months ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- Haskell implementation of MessagePack / msgpack.org[Haskell]☆138Updated 2 years ago
- array, slices and text☆70Updated 9 months ago
- ☆96Updated 10 years ago
- A collection of Notes on GHC☆69Updated 6 years ago
- Utility library [Haskell]☆88Updated last month
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- 2048 in Idris☆121Updated 7 years ago
- Extract the heap representation of Haskell values and thunks☆50Updated last year
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- JVM code generation☆32Updated 6 years ago