bodil / are-we-there-yet
Slides for CUFP 2017 keynote
☆20Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for are-we-there-yet
- JVM implementation in Haskell☆44Updated 2 months ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- ☆23Updated 6 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Haskell port of the Hashids library.☆24Updated 10 months ago
- complexity testing for haskell☆47Updated 8 years ago
- A simple multithreaded chat server in haskell☆35Updated 5 years ago
- Dhall helpers for github actions☆55Updated last year
- ☆40Updated 6 years ago
- Haskell types lined up to highlight their similarities☆31Updated 4 years ago
- Slides & demos for talks I do☆60Updated 4 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Get all your structure and rip it apart.☆30Updated 6 years ago
- Compile PureScript into Haskell.☆69Updated 6 years ago
- ☆41Updated 7 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 7 years ago
- Miscellaneous constructions on monoids☆18Updated 3 months ago
- Totally functional programming literature☆60Updated 5 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 5 years ago
- Presentations on Liquid Haskell, type theory, and more☆44Updated 3 weeks ago
- Web front UI for interactive Haskell projects☆34Updated 4 years ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15Updated 6 years ago
- QuickCheck extras.☆29Updated 5 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Dump GHC's abstract syntax trees☆41Updated 2 years ago