rpeszek / IdrisTddNotes
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
☆48Updated 3 years ago
Alternatives and similar repositories for IdrisTddNotes:
Users that are interested in IdrisTddNotes are comparing it to the libraries listed below
- A work stealing scheduler☆75Updated last month
- Benchmarks to compare Haskell streaming library performance☆103Updated 3 months ago
- JSON decoding/encoding/manipulation library.☆94Updated 2 years ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- ♾️ Sized list☆46Updated 10 months ago
- Lean Haskell Benchmarking☆90Updated 2 years ago
- Benchmarks for sequence data structures: lists, vectors, etc.☆88Updated 3 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Check properties on standard classes and data structures☆79Updated last year
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆162Updated 3 years ago
- Comma (and other) separated values☆77Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- Generic random generators☆81Updated 2 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- An example of an "isomorphic" Miso server set up with stack☆44Updated 4 years ago
- A more flexible mtl☆64Updated 7 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- ☆89Updated 10 months ago
- ⚡️Efficient implementation of Map with types as keys☆101Updated last year
- Type-safe effectful state machines in Haskell☆95Updated 4 years ago
- Search Haskell source code from the command line☆75Updated 4 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- 📚 A softer alternative to Haddock☆106Updated 5 years ago
- Generic Programming using True Sums of Products☆161Updated 2 months ago
- Measure allocations of a Haskell functions/values☆93Updated 4 months ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 5 years ago