jwbuurlage / category-theory-programmersLinks
Category theory in the context of (functional) programming
☆522Updated 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,266Updated last year
- A List of Foundational Haskell Papers☆871Updated 6 months ago
- Software Foundations in Idris☆454Updated 6 years ago
- Functional Programming Course☆1,032Updated 2 years ago
- Algebraic graphs☆740Updated 2 weeks ago
- Applied Functional Programming Course - Move from exercises to a working app!☆633Updated last year
- An axiom-free formalization of category theory in Coq for personal study and practical work☆774Updated last week
- A little course to learn about some of the more obscure GHC extensions.☆650Updated last year
- Generalized bananas, lenses and barbed wire☆346Updated 5 months ago
- Haskell state of editor/IDE support☆247Updated 4 years ago
- The Haskell performance checklist☆391Updated 5 years ago
- Haskell papers optimized for my e-reader.☆270Updated 8 years ago
- Launch your own Haskell study group. Now.☆271Updated 5 years ago
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆278Updated 2 years ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆697Updated 2 weeks ago
- Release with confidence, state-of-the-art property testing for Haskell.☆687Updated 2 months ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,097Updated 5 months ago
- A special interest group for companies and individuals interested in commercial usage of Haskell☆459Updated 2 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,046Updated last month
- Empire strikes back☆462Updated last year
- Very low feature GHCi based IDE☆1,158Updated last year
- Type safe interface for working in subcategories of Hask☆419Updated 6 years ago
- 📖 source material for Thinking with Types☆492Updated 2 years ago
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆634Updated 4 years ago
- Shell programming, Haskell style☆955Updated last year
- A course-worth of notes☆202Updated 11 months ago
- With way too messy gist.github pages this is an attempt to organise my snippets☆403Updated 7 years ago
- Introduction to parsing with Haskell and Parsec☆504Updated 5 years ago
- Comparing many FRP implementations by reimplementing the same toy app in each.☆492Updated 3 years ago
- Liquid Types For Haskell☆1,244Updated this week