haskell-org / summer-of-haskell
Source code of summer.haskell.org
☆89Updated this week
Alternatives and similar repositories for summer-of-haskell:
Users that are interested in summer-of-haskell are comparing it to the libraries listed below
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated last year
- The Software Foundations book, in GHC☆82Updated 2 months ago
- ⚡️Efficient implementation of Map with types as keys☆101Updated last year
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆186Updated 8 months ago
- Difference lists in Haskell☆65Updated 8 months ago
- Comma (and other) separated values☆77Updated last year
- Inspection Testing for Haskell☆175Updated 2 months ago
- Moved to Haskell.org GitLab.☆61Updated 10 months ago
- A workspace for research teams☆105Updated 5 years ago
- A re-implementation of weeder using HIE files☆172Updated last week
- Measure allocations of a Haskell functions/values☆93Updated 4 months ago
- Named parameters (keyword arguments) for Haskell☆94Updated 4 months ago
- Alternative API for processes, featuring more type safety☆110Updated 6 months ago
- Analyze GHC .dump-timings files☆105Updated last year
- First-class type families☆87Updated 6 months ago
- Measuring CPU instructions in Haskell using Linux Performance Counters☆84Updated 6 years ago
- ️🌈 Convenient interface for printing colourful messages☆66Updated 2 weeks ago
- Haskell bindings to the Graphviz toolkit☆64Updated 2 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 5 months ago
- Fast binary serialization in Haskell☆110Updated 2 months ago
- Hedgehog will eat your typeclass bugs☆56Updated 6 months ago
- ☆92Updated 11 months ago
- ☆99Updated this week
- The theory of algebraic graphs formalised in Agda☆89Updated 6 years ago
- This package provides various primitive memory-related operations.☆115Updated 3 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 7 months ago
- Principled and efficient binary serialization☆61Updated 2 years ago
- Arbitrary-precision floating-point numbers represented using scientific notation☆74Updated 2 months ago
- ☆74Updated 2 weeks ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last week