Haskell exercises corresponding to the youtube tutorials series Learning Haskell
☆27Oct 6, 2022Updated 3 years ago
Alternatives and similar repositories for LearningHaskell_Exercises
Users that are interested in LearningHaskell_Exercises are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The PharoByExample9 repository since to have a broken history. Now the book versioning is moved to this repository to get work done.☆14Aug 2, 2025Updated 9 months ago
- UU AFP Summer School Homepage☆11May 20, 2025Updated last year
- Cardano mainchain data on BigQuery☆11Aug 3, 2023Updated 2 years ago
- BSim signatures and databases for Ghidra to recover function symbols with☆16Jul 11, 2024Updated last year
- Cheat sheets for the pragmatic dev☆17Aug 20, 2023Updated 2 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.
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- ☆24Apr 9, 2024Updated 2 years ago
- ☆16Jun 26, 2019Updated 6 years ago
- A proof of concept imperative language for writing Plutus Smart Contracts.☆28Jan 24, 2023Updated 3 years ago
- Typed eDSL for writing UPLC /ˈpluː.tɑːk/☆133May 18, 2026Updated last week
- 🎙️ Catalyst Voices provides a unified experience and platform including production-ready liquid democracy, meaningful collaboration oppo…☆39May 19, 2026Updated last week
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Oct 9, 2025Updated 7 months ago
- This repository contains examples of how to use the meshsdk package.☆17Feb 5, 2025Updated last year
- Analyse your YouTube watch history using Data Science, ML and NLP.☆15Jun 16, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆26Jun 10, 2025Updated 11 months ago
- An untyped Plutus Core assembler☆32Feb 26, 2022Updated 4 years ago
- PolyRPC, A multi-tier functional programming language☆20Oct 4, 2022Updated 3 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆20May 20, 2026Updated last week
- A Model Context Protocol server for Scrapybara☆17Mar 18, 2025Updated last year
- Hand tracking and gesture recognition☆15Oct 1, 2015Updated 10 years ago
- Transform text, YouTube videos, and web content into beautiful mind maps using AI 🧠✨☆24May 28, 2025Updated 11 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Creative Racket competition☆14Nov 7, 2022Updated 3 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.
- Vision Transformer-Inspired Automated Vulnerability Repair☆19May 13, 2025Updated last year
- bidirectional type checking algorithms for higher-ranked polymorphism☆44Mar 23, 2022Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆38Oct 25, 2024Updated last year
- ☆19Jan 12, 2026Updated 4 months ago
- ☆15Mar 22, 2025Updated last year
- hashmyfiles : Finds md5 and Calculate MD5/SHA1/CRC32 hashes of any file☆17Oct 3, 2015Updated 10 years ago
- ☆10May 11, 2023Updated 3 years ago
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 2 years ago
- Opinionated package manager for haskell (WIP)☆16Jul 9, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- ☆11Sep 15, 2017Updated 8 years ago
- An example implementation of the slack-gpt starter which ingests confluence pages to create a helpful slack bot☆23May 3, 2023Updated 3 years ago
- A CUDA-accelerated SIFT implementation.☆13Feb 1, 2015Updated 11 years ago
- ☆13Apr 22, 2022Updated 4 years ago
- High Resolution Class Activation Mapping for Discriminative Feature Localization☆13Jan 7, 2021Updated 5 years ago
- An off-chain registry to maintain labels, audits, and metadata for the dApps on Cardano☆42May 19, 2026Updated last week