mietek / totally-fpLinks
Totally functional programming literature
☆60Updated 6 years ago
Alternatives and similar repositories for totally-fp
Users that are interested in totally-fp are comparing it to the libraries listed below
Sorting:
- Total functional programming (ESFP) literature☆187Updated 6 years ago
- A programming language that runs in Haskell's type system.☆253Updated 9 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- ☆94Updated 8 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- 2048 in Idris☆122Updated 7 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 7 months ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆70Updated 10 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Dive into GHC☆82Updated 8 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- ☆96Updated 10 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- The Ntha Programming Language☆92Updated 8 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- ☆63Updated 6 years ago
- A tiny scheme interpreter in Haskell☆24Updated 5 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- A collection of introductory tutorials on Haskell libraries☆42Updated 9 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Another implementation of Frank.☆70Updated 7 years ago
- JVM implementation in Haskell☆44Updated 8 months ago
- Porting of software foundations book to Agda☆38Updated 11 years ago