haskell-org / summer-of-haskell
Source code of summer.haskell.org
☆91Updated last month
Alternatives and similar repositories for summer-of-haskell
Users that are interested in summer-of-haskell are comparing it to the libraries listed below
Sorting:
- Generic Programming using True Sums of Products☆163Updated 4 months ago
- A workspace for research teams☆105Updated 5 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 7 months ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated this week
- Comma (and other) separated values☆78Updated last year
- Generic random generators☆81Updated 2 years ago
- Difference lists in Haskell☆65Updated 10 months ago
- ☆75Updated 2 months ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆188Updated 10 months ago
- Software Transactional Memory☆105Updated 6 months ago
- Check properties on standard classes and data structures☆79Updated last year
- Arbitrary-precision floating-point numbers represented using scientific notation☆74Updated 4 months ago
- Fast binary serialization in Haskell☆110Updated 4 months ago
- Fast Unicode normalization in Haskell☆47Updated 3 months ago
- ⚡️Efficient implementation of Map with types as keys☆100Updated last year
- Containers for STM☆68Updated 3 months ago
- Pre-processor for .hsc files☆41Updated 2 months ago
- Principled and efficient binary serialization☆61Updated 2 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated 3 weeks ago
- Machine Learning Toolbox☆36Updated 6 years ago
- Measuring CPU instructions in Haskell using Linux Performance Counters☆84Updated 6 years ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 11 months ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 2 months ago
- The Software Foundations book, in GHC☆82Updated 4 months ago
- Named parameters (keyword arguments) for Haskell☆94Updated 2 months ago
- Experimental, user-contributed effects and interpreters for polysemy☆72Updated last year
- Search Haskell source code from the command line☆75Updated 4 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago