jaybutera / Abstract-Algebra
A course-worth of notes
☆202Updated 9 months ago
Alternatives and similar repositories for Abstract-Algebra:
Users that are interested in Abstract-Algebra are comparing it to the libraries listed below
- Category theory in the context of (functional) programming☆522Updated 7 years ago
- Slides from talks that I give☆294Updated last year
- Course material for lens☆234Updated 4 months ago
- Richard A. Eisenberg's PhD Dissertation☆206Updated 6 years ago
- The Haskell performance checklist☆385Updated 4 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆214Updated 3 years ago
- High-powered REPL for Haskell, inspired by IPython☆338Updated last year
- With way too messy gist.github pages this is an attempt to organise my snippets☆402Updated 7 years ago
- optics for Haskell with the most amazing type errors you've seen☆242Updated 5 years ago
- - The Haskell code editor focused on interactive development.☆352Updated 7 years ago
- Software Foundations in Idris☆454Updated 5 years ago
- Developer tools for Haskell☆250Updated 9 months ago
- Aligning characters for fun and profit, with Haskell and PureScript☆74Updated 7 years ago
- Generalized bananas, lenses and barbed wire☆345Updated 4 months ago
- A type-safe, high-level SQL library for Haskell☆478Updated 10 months ago
- Haskell papers optimized for my e-reader.☆269Updated 8 years ago
- Generically derive traversals, lenses, and prisms.☆441Updated last week
- Empire strikes back☆464Updated last year
- Test monadic programs using state machine based models☆203Updated 3 years ago
- Efficient Haskell Arrays featuring Parallel computation☆385Updated 3 months ago
- Web application for exploring and understanding Haskell codebases☆515Updated 2 years ago
- Example code for how we swap compiled code within a running Haskell process.☆172Updated 6 years ago
- Type safe interface for working in subcategories of Hask☆420Updated 5 years ago
- The strongly hyped Haskell interpreter.☆368Updated 3 months ago
- ☆228Updated 3 years ago
- A workspace for research teams☆105Updated 5 years ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆166Updated 3 years ago
- The home of the Glamorous Glambda interpreter☆224Updated 3 weeks ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆263Updated 6 years ago
- A set of challenges for jump starting your understanding of monads.☆333Updated 3 years ago