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:
- Cardano mainchain data on BigQuery☆11Aug 3, 2023Updated 2 years ago
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated last year
- BSim signatures and databases for Ghidra to recover function symbols with☆13Jul 11, 2024Updated last year
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- ☆15Jun 26, 2019Updated 6 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- A proof of concept imperative language for writing Plutus Smart Contracts.☆28Jan 24, 2023Updated 3 years ago
- Extract and analyze data from Telegram chats.☆14Apr 27, 2025Updated 10 months ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- 🎙️ Catalyst Voices provides a unified experience and platform including production-ready liquid democracy, meaningful collaboration oppo…☆39Updated this week
- Haskell's Core in K.☆20Jun 21, 2017Updated 8 years ago
- Mesh Midnight starter template☆22Feb 9, 2026Updated last month
- YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)☆17Jun 3, 2025Updated 9 months ago
- Desktop Widget Manager. Think of conky, but with Python instead of Lua.☆13Jun 10, 2020Updated 5 years ago
- ☆25Jun 10, 2025Updated 9 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An untyped Plutus Core assembler☆32Feb 26, 2022Updated 4 years ago
- Exercises for EOPL in Haskell☆13Mar 9, 2026Updated 2 weeks ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆15Feb 9, 2016Updated 10 years ago
- A Model Context Protocol server for Scrapybara☆17Mar 18, 2025Updated last year
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 6 years ago
- Labs assignments☆12Jul 11, 2017Updated 8 years ago
- ☆10Jan 27, 2017Updated 9 years ago
- [ICIP 2021] PyTorch code for "The Mind's Eye: Visualizing Class-Agnostic Features of CNNs" for generation of kernel features.☆12Sep 12, 2021Updated 4 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 4 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆12Jan 15, 2019Updated 7 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- ☆19Jan 12, 2026Updated 2 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆37Oct 25, 2024Updated last year
- python wrapper for opencv gpu pyramid-lk-flow and tv-l1-flow☆10Jul 15, 2017Updated 8 years ago
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 2 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- Color Based Probabilistic Tracking☆11May 12, 2023Updated 2 years ago
- ☆11Sep 15, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Diffusion Net TensorFlow implementation☆10Nov 10, 2017Updated 8 years ago
- Lý thuyết đồ thị CT175 - CTU☆10Dec 3, 2021Updated 4 years ago
- ☆13Apr 22, 2022Updated 3 years ago
- U-Net + Attention, extending U-Net model for semantic segmentation. Implemented with TensorFlow.☆11May 11, 2019Updated 6 years ago
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- Java JNI binding for mujoco physics system☆14Mar 18, 2025Updated last year
- A compiler from a subset of Rust to Brainfuck☆14Oct 2, 2024Updated last year