Portfolio-based approach to learning Haskell
☆104Jan 8, 2018Updated 8 years ago
Alternatives and similar repositories for Haskell-University
Users that are interested in Haskell-University are comparing it to the libraries listed below
Sorting:
- Introduction to PureScript materials.☆31May 24, 2017Updated 8 years ago
- Efficient and correct pagination!☆16Mar 31, 2024Updated last year
- Slides and code from Scalawave 2016 "Introduction to typelevel (meta)programming with Shapeless" workshop☆20Dec 13, 2016Updated 9 years ago
- ☆13Sep 13, 2017Updated 8 years ago
- Lagom Scala shopping cart sample application☆12May 9, 2019Updated 6 years ago
- This is a presentation about haskell's type families.☆15May 17, 2018Updated 7 years ago
- Write "Concurrency" section of "A Tour of Go" in Haskell☆130Oct 15, 2018Updated 7 years ago
- (ARCHIVED) Haskell exercises I wrote for Haskell Learning Group☆47Mar 12, 2017Updated 8 years ago
- Papers I love :)☆156Apr 20, 2020Updated 5 years ago
- Strategy game in Haskell (PRs: )☆50Feb 6, 2020Updated 6 years ago
- Haskell's Core in K.☆20Jun 21, 2017Updated 8 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- A gently curated list of companies using Haskell in industry☆984Feb 9, 2026Updated last month
- Workshop On Tagless Final Interpreters☆37May 5, 2019Updated 6 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Library for functional graph & geometry algorithms☆21Apr 22, 2019Updated 6 years ago
- Problem solving à la carte☆22Apr 11, 2022Updated 3 years ago
- An interactive GHC profiling visualizer☆33Oct 3, 2017Updated 8 years ago
- Dashboards for any API in Chrome, through a JQ-like DSL.☆23May 23, 2017Updated 8 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- A List of Foundational Haskell Papers☆886Nov 8, 2024Updated last year
- Minimal http4s + Doobie + ZIO + Circe Scala application to show how to build a purely functional web application in Scala.☆123May 12, 2020Updated 5 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- ☆26Mar 27, 2020Updated 5 years ago
- chaintools are unix like tools but with a pythonic syntax☆20Jun 26, 2015Updated 10 years ago
- Scala library to sign HTTP requests to AWS services.☆21Aug 13, 2019Updated 6 years ago
- Management commands for Django: clear database, backup database, load database from backup, clear cache.☆17Jun 25, 2016Updated 9 years ago
- Ansible Modules for Common CouchDB Tasks☆10Nov 17, 2017Updated 8 years ago
- Ping file system events to any API☆12Dec 7, 2016Updated 9 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 8 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- ☆12Mar 4, 2025Updated last year
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 6 years ago
- ☆12Jan 7, 2021Updated 5 years ago
- ☆14Aug 5, 2019Updated 6 years ago
- Write more understandable Haskell.☆202Mar 2, 2026Updated last week
- Applied Functional Programming Course - Move from exercises to a working app!☆629Nov 20, 2023Updated 2 years ago