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
- Benchmarks to compare Haskell streaming library performance☆103Updated 4 months ago
- Generic random generators☆81Updated 2 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- A more flexible mtl☆64Updated 7 years ago
- A work stealing scheduler☆75Updated 2 months ago
- Comma (and other) separated values☆77Updated last year
- Check properties on standard classes and data structures☆79Updated last year
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- JSON decoding/encoding/manipulation library.☆94Updated 2 years ago
- Lean Haskell Benchmarking☆90Updated 2 years ago
- ☆89Updated 10 months ago
- 📚 A softer alternative to Haddock☆106Updated 5 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Querying a rate-limited currency exchange API using Redis as a cache☆41Updated 5 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 5 years ago
- Measure allocations of a Haskell functions/values☆93Updated 4 months ago
- An example of an "isomorphic" Miso server set up with stack☆44Updated 4 years ago
- Generic Programming using True Sums of Products☆162Updated 2 months ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- Type-safe time units in Haskell☆49Updated 2 months ago
- Declare and access tuple fields with labels☆58Updated 6 years ago
- Measuring CPU instructions in Haskell using Linux Performance Counters☆84Updated 6 years ago
- ☆80Updated 6 years ago
- Slides and exercises for an STM "course" series☆30Updated 4 years ago
- tools for writing better type errors☆73Updated last year
- ♾️ Sized list☆46Updated 10 months ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago