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.☆15Jun 6, 2026Updated 3 months ago
- ☆14Mar 15, 2024Updated 2 years ago
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated 2 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 4 years ago
- Haskell's Core in K.☆20Jun 21, 2017Updated 9 years ago
- AI Agents on 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.
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Oct 9, 2025Updated 11 months ago
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 7 years ago
- The PERPL Compiler☆14Oct 17, 2025Updated 11 months ago
- A Haskell framework for running concurrent computations on an HPC cluster.☆14Sep 11, 2026Updated last week
- A a highly performant utility and wrapper functions library for Rust that has been carefully designed with optimization and efficiency in…☆14Aug 31, 2026Updated 3 weeks ago
- Exercises for EOPL in Haskell☆14Jun 8, 2026Updated 3 months ago
- PolyRPC, A multi-tier functional programming language☆20Oct 4, 2022Updated 3 years ago
- Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.☆17Jan 28, 2026Updated 7 months ago
- BSim signatures and databases for Ghidra to recover function symbols with☆17Jul 11, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A tool for generating C code with metaprogramming in javascript☆10Sep 14, 2018Updated 8 years ago
- A Python package that simplifies the use of secrets in a Jupyter notebook☆21Oct 21, 2021Updated 4 years ago
- Programs and Proofs -- Spring 2025 -- IITM☆22May 10, 2025Updated last year
- Reverse engineering the Github websocket API - alive.github.com☆16Apr 19, 2023Updated 3 years ago
- ☆10May 11, 2023Updated 3 years ago
- Building REPLs for Fun and Profit☆13Mar 29, 2018Updated 8 years ago
- Creative Racket competition☆14Nov 7, 2022Updated 3 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- Vision Transformer-Inspired Automated Vulnerability Repair☆19May 13, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Drop-in for ⍎ to execute arbitrary APL code safely☆11Feb 24, 2026Updated 6 months ago
- AsciiMath to LaTeX converter☆27Apr 19, 2022Updated 4 years ago
- ☆16Oct 13, 2025Updated 11 months ago
- Simple HTML Generation for Python☆13Jul 26, 2026Updated last month
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 3 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- *WORK IN PROGRESS* IPurescript - Jupyter kernel for purescript.☆13Jun 1, 2022Updated 4 years ago
- 🏆 Amazon Best Seller | Full-stack AI NPU Design (Python, Verilog, ISA, FPGA) Vol.2 Coming Soon!☆30Mar 3, 2026Updated 6 months ago
- Opinionated package manager for haskell (WIP)☆16Jul 9, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A static analyzer powered by AI☆26Aug 5, 2024Updated 2 years ago
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆13Aug 16, 2023Updated 3 years ago
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- an arcane Lisp dialect written in Go for fun and prosperity☆13Jan 7, 2026Updated 8 months ago
- Scientific Programming for Wind Energy (46120)☆47May 7, 2026Updated 4 months ago
- Forth language support in VSCode☆14Apr 4, 2019Updated 7 years ago
- Java JNI binding for mujoco physics system☆18Mar 18, 2025Updated last year