bodil / are-we-there-yetLinks
Slides for CUFP 2017 keynote
☆20Updated 7 years ago
Alternatives and similar repositories for are-we-there-yet
Users that are interested in are-we-there-yet are comparing it to the libraries listed below
Sorting:
- ☆33Updated 4 years ago
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- QuickCheck extras.☆29Updated 5 years ago
- JVM implementation in Haskell☆44Updated 8 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Edison: A Library of Efficient Data Structures☆55Updated last month
- Miscellaneous constructions on monoids☆21Updated 3 weeks ago
- Dhall helpers for github actions☆54Updated last year
- ☆23Updated 7 years ago
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 5 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 3 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- Access JS webstorage (local & session) in a typesafe and convenient way☆29Updated 7 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Array utility functions☆57Updated last year
- Get all your structure and rip it apart.☆32Updated 6 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- ☆43Updated 4 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 7 months ago
- ☆38Updated 4 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 5 years ago
- Testing with monadic side-effects☆33Updated 3 years ago
- Delete half (minus ε) of your Haskell code!☆30Updated 3 weeks ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Type-safe data versioning.☆98Updated last year