Haskell exercises corresponding to the youtube tutorials series Learning Haskell
☆27Oct 6, 2022Updated 4 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:
- Use @CardanoTipBot to tip ADA & tokens with Twitter!☆10Oct 7, 2024Updated 2 years ago
- ☆11May 19, 2023Updated 3 years ago
- The PharoByExample9 repository since to have a broken history. Now the book versioning is moved to this repository to get work done.☆15Sep 27, 2026Updated last month
- UU AFP Summer School Homepage☆11May 20, 2025Updated last year
- Programs and Proofs -- Spring 2025 -- IITM☆22Oct 3, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆18Jan 21, 2021Updated 5 years ago
- ☆24Apr 9, 2024Updated 2 years ago
- Asynchronous pi-calculus in Erlang☆14Feb 22, 2015Updated 11 years ago
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated 2 years ago
- A Demeter starter kit that shows how to interact with the Cardano blockchain using the cardano-cli tool.☆16Jul 24, 2024Updated 2 years ago
- Cardano mainchain data on BigQuery☆11Aug 3, 2023Updated 3 years ago
- Public results and products from DARPA AIxCC☆12Aug 11, 2025Updated last year
- Chat Server with Cloud Haskell☆12Apr 10, 2018Updated 8 years ago
- ICSE'22 - PreFuzz: Probabilistic resource-efficient program-smoothing-based Fuzzing☆14Aug 24, 2023Updated 3 years ago
- 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.
- OpenClaw + x402 setup guide for EC2☆12Mar 8, 2026Updated 7 months ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 4 years ago
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 7 years ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Oct 9, 2025Updated last year
- Typed eDSL for writing UPLC /ˈpluː.tɑːk/☆134Updated this week
- A neural network verification tool based on the DPLL(T) SMT Solving algorithm.☆37Updated this week
- ☆14Oct 20, 2026Updated last week
- Java Hello World, LLVM Edition☆12Nov 12, 2025Updated 11 months ago
- A Haskell framework for running concurrent computations on an HPC cluster.☆14Oct 14, 2026Updated last week
- 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.
- The PERPL Compiler☆14Oct 17, 2025Updated last year
- ☆21Aug 25, 2026Updated 2 months 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
- Exercises for EOPL in Haskell☆14Jun 8, 2026Updated 4 months ago
- Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.☆17Jan 28, 2026Updated 8 months ago
- BSim signatures and databases for Ghidra to recover function symbols with☆17Jul 11, 2024Updated 2 years ago
- ☆16Jun 26, 2019Updated 7 years ago
- A persistent KV storage engine for write heavy workloads☆14Dec 3, 2025Updated 10 months ago
- Desktop configuration manager for GSD-Pi preferences — Tauri + React GUI for ~/.gsd/preferences.md, with skills, agents, and keychain-bac…☆20Aug 30, 2026Updated last month
- 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.
- ☆10May 11, 2023Updated 3 years ago
- *WORK IN PROGRESS* IPurescript - Jupyter kernel for purescript.☆13Jun 1, 2022Updated 4 years ago
- ☆20Updated this week
- Advents of Code in Dyalog APL☆11Jan 19, 2024Updated 2 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆14Updated this week
- Browser tool to visualize n-dimensional hypercubes and rotate them in n-dimensional space.☆10Oct 22, 2021Updated 5 years ago