glebec / lambda-talkLinks
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
☆522Updated last year
Alternatives and similar repositories for lambda-talk
Users that are interested in lambda-talk are comparing it to the libraries listed below
Sorting:
- Category theory in the context of (functional) programming☆522Updated 7 years ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,097Updated 5 months ago
- I'm trying to update the Real World Haskell book☆787Updated last year
- Code and materials for my book "Functional Design and Architecture"☆518Updated 6 months ago
- A gently curated list of companies using Haskell in industry☆969Updated last month
- Domain-Specific Languages of Mathematics☆438Updated 2 months ago
- An introduction to programming language theory in Agda☆1,432Updated this week
- Specification for common algebraic structures in JavaScript based on Fantasy Land☆775Updated 5 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆633Updated last year
- A little course to learn about some of the more obscure GHC extensions.☆650Updated last year
- Tutorial Series - Make the Leap from Javascript to PureScript☆304Updated 2 years ago
- A List of Foundational Haskell Papers☆871Updated 6 months ago
- Learn Haskell, with tiny lessons.☆566Updated 3 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,046Updated last month
- Learn PureScript with this "clone and play" repository☆592Updated last year
- Standard library for Fantasy Land☆239Updated 6 months ago
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,278Updated 4 months ago
- Various interesting articles, in PDF or PS form☆237Updated 11 years ago
- An opinionated list of resources for learning Haskell☆907Updated 3 years ago
- Documentation for the PureScript language, compiler, and tools.☆1,047Updated last year
- Resources for learning Category Theory for an enthusiast☆625Updated 2 years ago
- Miscellaneous articles. The readme is the table of contents.☆1,266Updated last year
- Algebraic graphs☆740Updated 2 weeks ago
- ACT community resources☆466Updated 5 years ago
- A curated list of combinators☆116Updated 2 months ago
- A book about category theory☆415Updated last month
- The Dao of Functional Programming☆458Updated last week
- Fork of the original Data61 course to be more Stack friendly☆450Updated 4 years ago
- 𝛌 Awesome Idris resources☆403Updated 5 years ago
- Exemplary real world application built with PureScript + Halogen☆802Updated last month