Programming in Haskell (2nd ed) by Graham Hutton
☆14Dec 4, 2024Updated last year
Alternatives and similar repositories for programming-in-haskell
Users that are interested in programming-in-haskell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- disable the HTML ping attribute☆12Dec 10, 2022Updated 3 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Simple visualized cetz editor☆12Oct 8, 2026Updated 3 weeks ago
- Constraint solver based on abstract interpretation☆11Dec 20, 2024Updated last year
- A Minecraft plugin for creating and managing aliases.☆14Oct 18, 2020Updated 6 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.
- ABC notation music integrated environment☆10Updated this week
- An open source recreation of "Fate/Stay Night".☆11Mar 15, 2020Updated 6 years ago
- Skin statues, Pixelart, Large blocks - all out of minecraft blocks ;)☆16Sep 10, 2019Updated 7 years ago
- Programming in Haskell by Graham Hutton, 2nd edition.☆23Aug 28, 2017Updated 9 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- Homotopy type theory☆14Sep 21, 2022Updated 4 years ago
- Tool for automated processing of disk images in BitCurator☆26Apr 13, 2026Updated 6 months ago
- Dotfile deployment scripts for my personal use, and all my dotfiles.☆12Oct 23, 2026Updated last week
- My basic LaTeX macros and BibTeX file.☆14Jan 13, 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.
- A simple C# voice chat client, made to function on a local network.☆20Nov 8, 2018Updated 7 years ago
- A GTK metronome for GNU/Linux and other Unix-like operating systems. (Mirror)☆13Sep 17, 2026Updated last month
- Proof-of-concept Rust + Ruby extension☆12Feb 12, 2019Updated 7 years ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- a tool deployed on AWS Lambda to help checking internship slot (HCMUT), Public version☆10May 26, 2025Updated last year
- Port of MIT's xv6 OS to 32 bit RISC V☆12Feb 12, 2023Updated 3 years ago
- the web framework that doesn't totally suck☆16Updated this week
- PDF version of https://docs.swift.org/swift-book/☆10Apr 30, 2019Updated 7 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Oct 29, 2021Updated 5 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 coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated last year
- Send push notifications to Expo apps using Golang☆10Dec 18, 2025Updated 10 months ago
- Ansible playbook and roles used to creates stacks via push button infrastructure (PBI)☆11Mar 8, 2018Updated 8 years ago
- ☆10Dec 9, 2022Updated 3 years ago
- ESPHome Home Assistant voice assistant for the ESP32-S3-BOX-3, built on LVGL and the GT911 touchscreen☆20Updated this week
- log helper for rake tasks☆12Aug 31, 2016Updated 10 years ago
- Implementation of the Monkey programming language in Go. (Interpreter and Bytecode-Compiler + VM)☆12Sep 13, 2019Updated 7 years ago
- ☆22Dec 3, 2024Updated last year
- A simple and easy tool for skids to preform p.o.d. attacks☆13Sep 22, 2018Updated 8 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.
- Beginning of formal language theory☆24Dec 7, 2019Updated 6 years ago
- Dockerfile for h2o HTTP Server with graceful restart support☆12Jan 22, 2015Updated 11 years ago
- A data-oriented proof assistant☆37Updated this week
- Code Repository for Fundamentals of Unix and Linux System Administration, published by Packt☆12Jan 18, 2021Updated 5 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆28Jul 13, 2023Updated 3 years ago
- Portless for public suffixes with HTTPS☆13Oct 20, 2026Updated last week
- A simple starter ToDo app template implemented with Next.js & React. Includes an optional PostgreSQL database. Features full TypeScript s…☆12Feb 27, 2026Updated 8 months ago