sjsyrek / study-haskell-nycView external linksLinks
Information about the "Haskell Programming from First Principles" reading group in NYC.
☆56Sep 7, 2017Updated 8 years ago
Alternatives and similar repositories for study-haskell-nyc
Users that are interested in study-haskell-nyc are comparing it to the libraries listed below
Sorting:
- Shipwire API client☆16Nov 17, 2017Updated 8 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Dec 1, 2017Updated 8 years ago
- ☆20Apr 11, 2018Updated 7 years ago
- React.js for GHCJS☆26Oct 21, 2016Updated 9 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 6 years ago
- concise json parsing in Haskell using lenses☆20Oct 2, 2017Updated 8 years ago
- A library for applying a row of rules for validation to refine a value☆12Jun 20, 2018Updated 7 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- ☆15May 23, 2017Updated 8 years ago
- 2d flow field made with ReasonML☆13Sep 17, 2017Updated 8 years ago
- Matlab bindings and interface for Haskell☆13Aug 24, 2020Updated 5 years ago
- An image-processing library for Haskell.☆10Mar 26, 2016Updated 9 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- Slides for presentations!☆16Dec 4, 2025Updated 2 months ago
- Haskell Dockerfile linter, parser, pretty-printer and EDSL, forked from https://github.com/lukasmartinelli/hadolint.☆19Nov 18, 2017Updated 8 years ago
- Comment on Haskell documentation.☆13Mar 13, 2019Updated 6 years ago
- Dump GHC's abstract syntax trees☆41Apr 17, 2022Updated 3 years ago
- Traversals and Prisms for Data.Aeson☆52Aug 27, 2023Updated 2 years ago
- Helpers to connect to SSL/TLS mail servers with HaskellNet☆22Feb 15, 2025Updated 11 months ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- Email address validation for Haskell☆43Sep 21, 2024Updated last year
- ☆20Jan 12, 2019Updated 7 years ago
- haskell-lang.org website☆147Feb 17, 2019Updated 6 years ago
- ☆17Feb 13, 2021Updated 5 years ago
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 10 years ago
- The prelude.☆16Apr 3, 2019Updated 6 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Oct 24, 2024Updated last year
- Data store(s) for purescript applications. Use your own DSL to update the global state.☆19Oct 7, 2018Updated 7 years ago
- ☆16Jun 17, 2017Updated 8 years ago
- A guided tour through https://github.com/bitemyapp/learnhaskell☆14May 7, 2015Updated 10 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- Distill information about amendments to the Oregon Revised Statutes.☆18Aug 5, 2025Updated 6 months ago
- Protect against backwards-incompatible serializations☆23May 21, 2021Updated 4 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- A talk on parametricity☆36Jul 18, 2023Updated 2 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Dec 22, 2017Updated 8 years ago
- ZuriHac registration system☆23Feb 3, 2026Updated last week
- a logic-based trust-management system☆19Sep 17, 2012Updated 13 years ago