AvramRobert / unfortunate-effects-hs
☆13Updated 5 years ago
Alternatives and similar repositories for unfortunate-effects-hs:
Users that are interested in unfortunate-effects-hs are comparing it to the libraries listed below
- ♾️ Sized list☆46Updated 8 months ago
- ☆48Updated 5 years ago
- Benchmarks to compare Haskell streaming library performance☆103Updated 2 months ago
- Dual Traversable☆42Updated last year
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆79Updated 4 years ago
- Explore haskell and functional programming concepts☆20Updated 6 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- Slides and exercises for an STM "course" series☆30Updated 4 years ago
- Haskell Webapps on AWS Lambda☆43Updated last year
- Working through the Thinking with Types book in Haskell☆35Updated 4 years ago
- Fast and simple JSON encoding toolkit☆82Updated last year
- A work stealing scheduler☆75Updated this week
- Isomorphic Reasoning: Counting with Types☆37Updated 4 years ago
- Effects libraries in Haskell☆71Updated last year
- tools for writing better type errors☆74Updated last year
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Smash products, Wedge products, and other Pointed stuff☆34Updated 2 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 5 years ago
- Refined types☆57Updated 6 years ago
- Generic Programming using True Sums of Products☆161Updated 2 weeks ago
- 🐚 Out of the shell solution for scripting in Haskell☆71Updated 2 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- First-class type families☆87Updated 4 months ago
- type level sets☆67Updated 5 years ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- An interactive workshop on implementing AlgorithmW in Kotlin☆21Updated 4 years ago