puffnfresh / bam-idris-blog
Static blog generator in Idris.
☆39Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for bam-idris-blog
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 9 years ago
- A convenient DSL for describing web routes☆43Updated 4 years ago
- complexity testing for haskell☆47Updated 8 years ago
- An extension to Data.Serialize with built-in version control☆60Updated 6 months ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- Parsers for various configuration files written in Idris.☆19Updated 7 years ago
- A proper network library for Idris, now that I know what I'm doing.☆57Updated 8 years ago
- a simple functional language for learners☆30Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 6 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- A more flexible mtl☆64Updated 6 years ago
- A very general logging effect for Haskell☆60Updated 6 months ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- 2048 in Idris☆121Updated 6 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- ☆40Updated 6 years ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Dependently Typed Extensible Records with Prototypal Inheritance☆9Updated 9 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 6 years ago
- ☆26Updated 8 years ago
- A Purescript implementation of Elm's `core` library☆29Updated 6 years ago