☆50Oct 1, 2015Updated 10 years ago
Alternatives and similar repositories for haskell-slides
Users that are interested in haskell-slides are comparing it to the libraries listed below
Sorting:
- A general build tool for haskell projects inspired by leiningen☆16Jun 6, 2015Updated 10 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Jul 7, 2018Updated 7 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- TODO☆23Oct 10, 2015Updated 10 years ago
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 years ago
- A simple combinator library☆30Nov 5, 2018Updated 7 years ago
- The Software Foundations book, in GHC☆82Jan 11, 2026Updated last month
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Mar 30, 2018Updated 7 years ago
- 🖼️ the compiling to closed categories compiler☆66Apr 17, 2018Updated 7 years ago
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated last year
- A library for working with the PureScript functional core.☆24Jun 9, 2020Updated 5 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 9 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52May 8, 2025Updated 9 months ago
- Haskell version of quickfind☆24Dec 1, 2015Updated 10 years ago
- A Haskell implementation of Cross-Origin resource sharing (CORS) for Wai☆26Apr 3, 2023Updated 2 years ago
- Experimental record formatting from type-level format strings☆24Jul 23, 2023Updated 2 years ago
- Add early return to any do-expression☆48Jul 2, 2021Updated 4 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- A language experiment -- irc.freenode.net ##coda☆162Apr 10, 2024Updated last year
- Transactional monadic actions on top of PostgreSQL.☆58Jun 2, 2022Updated 3 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- ☆15Feb 10, 2015Updated 11 years ago
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 14 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- haskell wrapper for git☆18Mar 7, 2020Updated 6 years ago
- A raytracer written in Haskell☆10Aug 26, 2015Updated 10 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 8 years ago
- My own little "24 Days of Hackage" for 2015☆62Dec 7, 2016Updated 9 years ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- Grocery shopping roguelike developed for the 7drl game jam☆24Mar 9, 2020Updated 5 years ago
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- Source Layouting Engine☆11Mar 7, 2021Updated 5 years ago
- Types for ldtk☆16Apr 13, 2024Updated last year
- Example of Calling Lua from Fortran☆10Jun 22, 2015Updated 10 years ago
- Slides + TodoApp for Chicago Haskell Servant Presentation☆48Oct 23, 2015Updated 10 years ago
- ☆11Nov 5, 2015Updated 10 years ago