A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.
☆144Jan 5, 2017Updated 9 years ago
Alternatives and similar repositories for cis194-yorgey-lectures
Users that are interested in cis194-yorgey-lectures are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solution to UPenn's Haskell course homework☆37Jun 15, 2016Updated 10 years ago
- A simple Haskell OAuth2 library☆18Jul 15, 2022Updated 4 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Dec 13, 2019Updated 6 years ago
- Simple Haskell http framework☆87Nov 13, 2018Updated 7 years ago
- Huge list of videos, talks, courses for Haskell programming language.☆1,144Oct 17, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Functional Programming Course☆4,240Oct 7, 2025Updated 10 months ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- ☆23Apr 17, 2018Updated 8 years ago
- Summer 2015 Haskell Class☆212Sep 8, 2015Updated 10 years ago
- High level library cheat sheets for the working Haskell programmer.☆80Jun 7, 2015Updated 11 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 9 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆20Aug 23, 2021Updated 4 years ago
- Solutions for CIS 194 - Spring 2013☆135Apr 28, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Example on how to integrate Haskell and C++ library.☆13Apr 18, 2015Updated 11 years ago
- Course material for lens☆241Dec 2, 2024Updated last year
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Database maintenance tool support☆26Mar 22, 2024Updated 2 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- Difference lists in Haskell☆66Dec 15, 2025Updated 8 months ago
- A tutorial for using Emacs with Haskell projects☆42Jan 3, 2022Updated 4 years ago
- Automatic piecewise-mutable references for your types☆43Jul 26, 2026Updated 3 weeks ago
- Applied Functional Programming Course - Move from exercises to a working app!☆631Nov 20, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Haskell implementation of 2048 with Reflex.☆13Oct 1, 2017Updated 8 years ago
- ☆14Sep 24, 2017Updated 8 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- My Hakyll-based blog☆18Nov 30, 2018Updated 7 years ago
- ☆124Mar 7, 2020Updated 6 years ago
- Composable monadic short-circuiting streaming folds☆19Mar 28, 2018Updated 8 years ago
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,481Jan 11, 2021Updated 5 years ago
- Learn Haskell☆8,033Jul 20, 2026Updated 3 weeks ago
- A high level HTTP client for Haskell that focuses on ease of use☆62Jul 18, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Launch your own Haskell study group. Now.☆266Oct 18, 2019Updated 6 years ago
- Church-encoding of the Freer monad☆29Oct 27, 2016Updated 9 years ago
- high-level stream sockets in haskell☆17Apr 27, 2026Updated 3 months ago
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆284Jul 8, 2022Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆57Apr 23, 2017Updated 9 years ago
- Solutions to CIS 194 (Spring 2013)☆12May 29, 2016Updated 10 years ago