bodil / are-we-there-yetLinks
Slides for CUFP 2017 keynote
☆20Updated 8 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:
- Slides & demos for talks I do☆58Updated 2 weeks ago
- Measure time complexity empirically.☆48Updated 9 years ago
- ☆63Updated 7 years ago
- State machines in Idris☆37Updated 8 years ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- ☆50Updated 7 years ago
- Type-safe data versioning.☆98Updated 2 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Hasmin - A Haskell CSS Minifier☆57Updated last year
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- ☆23Updated 7 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- QuickCheck extras.☆29Updated 6 years ago
- Jupyter notebooks☆58Updated 10 months ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆78Updated 8 years ago
- Edison: A Library of Efficient Data Structures☆56Updated 6 months ago
- Dive into GHC☆82Updated 8 years ago
- Evaluate special comments in your program on file save.☆39Updated 5 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 6 years ago
- Arrowized functional state machines☆18Updated 9 years ago
- Dhall helpers for github actions☆54Updated last year
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆47Updated 8 years ago
- ♾️ Sized list☆47Updated last year
- a simple functional language for learners☆30Updated 8 years ago
- Yet another Haskell build system.☆115Updated 5 years ago