sjsyrek / dinner-for-devs
Simple recipes for lazy programmers.
☆35Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for dinner-for-devs
- A convenient DSL for describing web routes☆43Updated 3 years ago
- ☆41Updated 6 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- An exploration and implementation of the lambda calculus.☆12Updated 8 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Lens interface for your filesystem☆22Updated 3 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Haskell Webapps on AWS Lambda☆44Updated last year
- Verified left pad☆19Updated 6 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- A total recursion scheme library for Dhall☆65Updated 2 months ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- Comma (and other) separated values☆77Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Can we write a querying language with Dhall? Let's find out!☆64Updated 6 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 4 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- Church-encoding of the Freer monad☆29Updated 8 years ago
- ☆23Updated 7 years ago
- Dual Traversable☆41Updated last year
- ☆34Updated 5 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 2 months ago