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
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Updated 10 years ago
- A programming language that runs in Haskell's type system.☆255Updated 9 years ago
- ☆94Updated 9 years ago
- The Ntha Programming Language☆91Updated 8 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- a simple functional language for learners☆30Updated 8 years ago
- ☆96Updated 10 years ago
- ☆63Updated 6 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Thoughts and stuff☆70Updated 5 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Dive into GHC☆82Updated 8 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- Taylor Fausak's blog.☆19Updated 2 months ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Elaborate and expressive S-Expression library for Haskell☆62Updated last year
- Write yourself a typed functional language☆65Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago