cobbpg / elerea-examplesLinks
Executable examples for Elerea.
☆18Updated 9 years ago
Alternatives and similar repositories for elerea-examples
Users that are interested in elerea-examples are comparing it to the libraries listed below
Sorting:
- A GHC type checker plugin for row types☆39Updated 8 years ago
- ☆15Updated 7 years ago
- A package exposing a function for generating catamorphisms.☆29Updated 7 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- Haskell library for efficiently building up buffers☆27Updated 11 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated last year
- Quiver stream processing library☆15Updated 9 years ago
- A natural transformation package☆16Updated 9 months ago
- Expands type synonyms in Template Haskell ASTs☆11Updated last year
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 7 years ago
- Dynamic network FRP with events and continuous values☆52Updated 5 years ago
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Updated 10 years ago
- List monad transformer☆60Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 8 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 7 years ago
- Dependently typed elimination functions using singletons☆28Updated 11 months ago
- ☆18Updated 3 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Updated 2 years ago
- Deep evaluation of data structures☆43Updated 6 months ago
- Various type-aligned sequence data structures.☆21Updated 4 years ago
- Fixed length vector for haskell☆21Updated last week
- ☆39Updated 8 years ago
- Church-encoding of the Freer monad☆28Updated 9 years ago
- Lens interface for your filesystem☆22Updated 5 years ago
- A toy implementation of Haxl to illustrate the internals☆22Updated 8 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Codo notation for programming with comonads in Haskell☆25Updated 4 years ago
- Hot swapping compiled code while keeping a websocket connection open☆26Updated 9 years ago
- ☆12Updated 5 years ago