Haskell MOOC University of Helsinki
☆477May 8, 2026Updated 4 months ago
Alternatives and similar repositories for haskell-mooc
Users that are interested in haskell-mooc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 📜 Haskell course info, plan, video lectures, slides☆1,563Jul 9, 2023Updated 3 years ago
- Exercises for EOPL in Haskell☆14Jun 8, 2026Updated 3 months ago
- Learn Haskell by building a blog generator - an introductory book about Haskell.☆318Oct 9, 2025Updated 11 months ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆12Jun 15, 2014Updated 12 years ago
- For writing hledger journal☆23Oct 20, 2024Updated last year
- 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.
- A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!☆607Updated this week
- Functional Programming Course☆4,244Oct 7, 2025Updated 11 months ago
- Contains code from Youtube Tutorials or Videos.☆14Aug 16, 2026Updated last month
- A reference sheet for the basics of the mind-expanding Haskell language ^_^☆40Apr 5, 2020Updated 6 years ago
- 👩🏫 👨🏫 Learn Haskell basics in 4 pull requests☆1,038Aug 3, 2026Updated last month
- an embedded os written in haskell with microhs with lisp support, cs140e final project☆68Mar 20, 2026Updated 6 months ago
- The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"☆940Updated this week
- ☆22Oct 1, 2022Updated 3 years ago
- Exploratory project to gather Haskell links☆10May 27, 2025Updated last year
- 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 formatter for Haskell source code☆1,073Sep 8, 2026Updated last week
- XML sources of SICP and SICP JS, and support for generating Interactive SICP JS, PDF, e-book and comparison editions☆1,019Updated this week
- Some online judge solutions in Haskell☆19May 19, 2016Updated 10 years ago
- Official Haskell IDE support via the language server protocol (LSP)☆2,957Updated this week
- Learn Lean 4 with PLFA proofs.☆118Aug 8, 2026Updated last month
- An opinionated list of resources for learning Haskell☆938Mar 26, 2022Updated 4 years ago
- a challenge for Haskell beginners☆480Jul 24, 2023Updated 3 years ago
- A declarative Unix terminal UI library written in Haskell☆1,735Updated this week
- Lang Party 2022☆25Nov 7, 2022Updated 3 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.
- UU AFP Summer School Homepage☆11May 20, 2025Updated last year
- Regex Stream Artifacts☆19Sep 20, 2022Updated 4 years ago
- Closure web engine☆17Jul 22, 2022Updated 4 years ago
- Simple canvas library for F# (2d-drawing, loading/saving of image files, using SDL2)☆37Oct 20, 2025Updated 11 months ago
- Appel's Tiger language implemented in F#☆13May 15, 2021Updated 5 years ago
- datatypes and functions for easily working with passwords in Haskell☆61Jul 2, 2026Updated 2 months ago
- 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines☆198Nov 12, 2023Updated 2 years ago
- Let's Build a Compiler - An educational compiler built from scratch in F#, inspired by Jack Crenshaw's 1988 Pascal code☆49Mar 19, 2014Updated 12 years ago
- Final year project (Heart disease prediction using machine learning techniques)☆13Dec 3, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Interactive scripting language where you can change the comments. Winning entry for langjam0001☆13Apr 2, 2022Updated 4 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆108Aug 26, 2026Updated 3 weeks ago
- Hoogle terminal UI brick example app☆105Jun 15, 2026Updated 3 months ago
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated 2 years ago
- A toy programming language for web assembly☆15Dec 8, 2022Updated 3 years ago
- An introduction to programming language theory in Agda☆1,514Updated this week
- The Clojure Camp handbook / wiki. Start your journey here.☆31May 9, 2026Updated 4 months ago