isovector / thinking-with-typesLinks
📖 source material for Thinking with Types
☆491Updated 2 years ago
Alternatives and similar repositories for thinking-with-types
Users that are interested in thinking-with-types are comparing it to the libraries listed below
Sorting:
- A gently curated list of companies using Haskell in industry☆976Updated 4 months ago
- A user-centric visual STG implementation to help understand GHC/Haskell's execution model.☆530Updated 4 years ago
- Web application for exploring and understanding Haskell codebases☆514Updated 2 years ago
- Haskell/GHC symbol search cheatsheet☆323Updated last year
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆711Updated 9 months ago
- GUI framework that uses the web browser as a display.☆480Updated last week
- The Haskell performance checklist☆390Updated 5 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆632Updated last year
- The home of the Glamorous Glambda interpreter☆226Updated 5 months ago
- A fast, flexible, fused effect system for Haskell☆659Updated 3 months ago
- Generalized bananas, lenses and barbed wire☆349Updated 3 weeks ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆702Updated this week
- Generically derive traversals, lenses, and prisms.☆440Updated 4 months ago
- 🕵️ Haskell STatic ANalyser☆583Updated this week
- Examples of Dependently-typed programs in Haskell☆307Updated 2 years ago
- A List of Foundational Haskell Papers☆881Updated 9 months ago
- Optics as an abstract interface☆385Updated 2 weeks ago
- Haskell papers optimized for my e-reader.☆271Updated 8 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆218Updated 3 years ago
- A little course to learn about some of the more obscure GHC extensions.☆656Updated last year
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆510Updated last month
- Architecture of the Haskell web applications☆311Updated 4 years ago
- Modern and extensible testing framework for Haskell☆655Updated 2 weeks ago
- The Monad Transformer Library☆386Updated 3 months ago
- Course material for lens☆239Updated 8 months ago
- Release with confidence, state-of-the-art property testing for Haskell.☆690Updated last month
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆386Updated last month
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆725Updated 2 weeks ago
- Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"☆358Updated 2 months ago
- Efficient Haskell Arrays featuring Parallel computation☆399Updated last month