isovector / thinking-with-typesLinks
📖 source material for Thinking with Types
☆492Updated 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 user-centric visual STG implementation to help understand GHC/Haskell's execution model.☆532Updated 3 years ago
- Generalized bananas, lenses and barbed wire☆346Updated 5 months ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆696Updated 2 weeks ago
- 🚧 a work in progress effect system for Haskell 🚧☆557Updated 2 years ago
- A fast, flexible, fused effect system for Haskell☆656Updated last month
- The Haskell performance checklist☆391Updated 5 years ago
- Optics as an abstract interface☆384Updated last month
- Demo for high-performance type theory elaboration☆554Updated last year
- Web application for exploring and understanding Haskell codebases☆515Updated 2 years ago
- 🕵️ Haskell STatic ANalyser☆584Updated last week
- A List of Foundational Haskell Papers☆870Updated 6 months ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆715Updated 3 weeks ago
- Haskell state of editor/IDE support☆247Updated 4 years ago
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆709Updated 6 months ago
- GUI framework that uses the web browser as a display.☆472Updated 2 months ago
- Empire strikes back☆462Updated last year
- Software Foundations in Idris☆454Updated 6 years ago
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆379Updated 4 months ago
- A gently curated list of companies using Haskell in industry☆970Updated last month
- Release with confidence, state-of-the-art property testing for Haskell.☆687Updated last month
- higher-order, no-boilerplate monads☆1,056Updated 2 months ago
- Architecture of the Haskell web applications☆311Updated 4 years ago
- haskell source code formatter☆691Updated 2 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆215Updated 3 years ago
- Generically derive traversals, lenses, and prisms.☆441Updated last month
- A sensible starting Prelude template.☆403Updated 2 weeks ago
- Miscellaneous articles. The readme is the table of contents.☆1,264Updated last year
- Modern and extensible testing framework for Haskell☆649Updated 2 months ago
- A little course to learn about some of the more obscure GHC extensions.☆650Updated last year
- Applied Functional Programming Course - Move from exercises to a working app!☆633Updated last year