Vincibean / real-world-haskellLinks
My solutions to the exercises contained in the book "Real World Haskell"
☆17Updated 6 years ago
Alternatives and similar repositories for real-world-haskell
Users that are interested in real-world-haskell are comparing it to the libraries listed below
Sorting:
- Examples to accompany the book "Haskell in Depth"☆268Updated 7 months ago
- The home of the Glamorous Glambda interpreter☆228Updated 8 months ago
- Auto generate a stack or cabal multi component hie.yaml file☆213Updated last year
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆310Updated last year
- ☆432Updated 3 years ago
- Compiling Agda code to readable Haskell☆195Updated last week
- ☆162Updated 10 years ago
- HoTTEST Summer School materials☆318Updated 6 months ago
- A new Categories library for Agda☆391Updated 2 weeks ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆177Updated 3 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆154Updated 2 months ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"☆358Updated 6 months ago
- agda-mode for neovim☆171Updated last month
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆127Updated 9 months ago
- The Happy parser generator for Haskell☆313Updated 3 months ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆56Updated 5 years ago
- Play/learn/work with me☆112Updated last week
- Source material for Algebra-Driven Design☆155Updated 2 years ago
- A fast, flexible, fused effect system for Haskell☆664Updated 7 months ago
- Lecture notes on univalent foundations of mathematics with Agda☆231Updated 3 weeks ago
- I'm trying to update the Real World Haskell book☆794Updated 2 years ago
- Fork of the original Data61 course to be more Stack friendly☆451Updated 4 years ago
- Total Parser Combinators in Agda☆132Updated 4 months ago
- Strongly-typed System F in Haskell☆119Updated 3 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 4 years ago
- agda-mode on VS Code☆181Updated 3 weeks ago
- Generalized bananas, lenses and barbed wire☆350Updated 4 months ago
- A demo implementation of a simple dependently-typed language☆614Updated last year
- Development of homotopy type theory in Agda☆427Updated 6 years ago