jwbuurlage / category-theory-programmersLinks
Category theory in the context of (functional) programming
☆523Updated 7 years ago
Alternatives and similar repositories for category-theory-programmers
Users that are interested in category-theory-programmers are comparing it to the libraries listed below
Sorting:
- Miscellaneous articles. The readme is the table of contents.☆1,271Updated 2 years ago
- A List of Foundational Haskell Papers☆878Updated 8 months ago
- Software Foundations in Idris☆454Updated 6 years ago
- Algebraic graphs☆740Updated 3 weeks ago
- Applied Functional Programming Course - Move from exercises to a working app!☆633Updated last year
- Functional Programming Course☆1,032Updated 2 years ago
- Haskell Programming From First Principles - Follow-up Resources☆496Updated 7 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆784Updated last week
- Introduction to parsing with Haskell and Parsec☆506Updated 6 years ago
- Haskell papers optimized for my e-reader.☆271Updated 8 years ago
- With way too messy gist.github pages this is an attempt to organise my snippets☆403Updated 7 years ago
- The Haskell performance checklist☆391Updated 5 years ago
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆280Updated 3 years ago
- Generalized bananas, lenses and barbed wire☆349Updated 8 months ago
- A set of challenges for jump starting your understanding of monads.☆334Updated 4 years ago
- A little course to learn about some of the more obscure GHC extensions.☆653Updated last year
- Web application for exploring and understanding Haskell codebases☆513Updated 2 years ago
- Comparing many FRP implementations by reimplementing the same toy app in each.☆495Updated 3 years ago
- 𝛌 Awesome Idris resources☆404Updated 5 years ago
- Launch your own Haskell study group. Now.☆272Updated 5 years ago
- I'm trying to update the Real World Haskell book☆790Updated 2 years ago
- A course-worth of notes☆202Updated last year
- - The Haskell code editor focused on interactive development.☆352Updated 7 years ago
- Slides from talks that I give☆295Updated 2 years ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,097Updated 7 months ago
- A special interest group for companies and individuals interested in commercial usage of Haskell☆460Updated 2 years ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆264Updated 7 years ago
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,062Updated last month
- Don't Fear the Profunctor Optics!☆426Updated 3 months ago
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆635Updated 4 years ago