jwbuurlage / category-theory-programmers
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
- Software Foundations in Idris☆454Updated 5 years ago
- Miscellaneous articles. The readme is the table of contents.☆1,260Updated last year
- A List of Foundational Haskell Papers☆865Updated 5 months ago
- The Haskell performance checklist☆385Updated 4 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆770Updated last month
- Empire strikes back☆464Updated last year
- Applied Functional Programming Course - Move from exercises to a working app!☆630Updated last year
- A little course to learn about some of the more obscure GHC extensions.☆649Updated last year
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆634Updated 4 years ago
- Algebraic graphs☆737Updated 11 months ago
- A special interest group for companies and individuals interested in commercial usage of Haskell☆459Updated 2 years ago
- Haskell papers optimized for my e-reader.☆269Updated 8 years ago
- Functional Programming Course☆1,030Updated 2 years ago
- Haskell state of editor/IDE support☆247Updated 4 years ago
- Modern and extensible testing framework for Haskell☆649Updated 3 weeks ago
- Liquid Types For Haskell☆1,238Updated 3 weeks ago
- Release with confidence, state-of-the-art property testing for Haskell.☆686Updated 3 weeks ago
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆278Updated 2 years ago
- Slides from talks that I give☆294Updated last year
- Notes and files from HaskellerZ meetups.☆212Updated 5 years ago
- Efficient Haskell Arrays featuring Parallel computation☆385Updated 3 months ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆695Updated this week
- Introduction to parsing with Haskell and Parsec☆504Updated 5 years ago
- The strongly hyped Haskell interpreter.☆369Updated 3 months ago
- Web application for exploring and understanding Haskell codebases☆515Updated 2 years ago
- higher-order, no-boilerplate monads☆1,045Updated last month
- A type-safe, high-level SQL library for Haskell☆478Updated 10 months ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆458Updated last month
- Comparing many FRP implementations by reimplementing the same toy app in each.☆491Updated 3 years ago
- Functional programming with fewer indirections☆759Updated 4 years ago