hauntedhost/programming-in-haskell external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

hauntedhost/programming-in-haskell

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/hauntedhost/programming-in-haskell)

Close

hauntedhost / programming-in-haskellView on GitHubMore

• External links
• Readme badge

Programming in Haskell (2nd ed) by Graham Hutton

☆12Dec 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

• Myriad-Dreamin / vistyp

  View on GitHub
  Simple visualized cetz editor
  ☆11Apr 22, 2025Updated 10 months ago
• appliedfm / vstyle-tools

  View on GitHub
  A formatter/linter for Coq source
  ☆14Jan 15, 2022Updated 4 years ago
• ptal / AbSolute

  View on GitHub
  Constraint solver based on abstract interpretation
  ☆10Dec 20, 2024Updated last year
• basicpage / basicpage.github.io

  View on GitHub
  Template for a basic academic page
  ☆17Feb 24, 2026Updated 3 weeks ago
• akira08280 / programming-in-haskell

  View on GitHub
  Programming in Haskell by Graham Hutton, 2nd edition.
  ☆19Aug 28, 2017Updated 8 years ago
• CCA-Public / diskimageprocessor

  View on GitHub
  Tool for automated processing of disk images in BitCurator
  ☆26Mar 9, 2025Updated last year
• fsieczkowski / System-T

  View on GitHub
  Formalisation of Goedel's System T in Coq
  ☆15Jul 1, 2011Updated 14 years ago
• mikeshulman / Coq-HoTT

  View on GitHub
  Homotopy type theory
  ☆14Sep 21, 2022Updated 3 years ago
• EvanErcolano / monkey

  View on GitHub
  Implementation of the Monkey programming language in Go. (Interpreter and Bytecode-Compiler + VM)
  ☆12Sep 13, 2019Updated 6 years ago
• ThatOneCalculator / riesketcher

  View on GitHub
  Riemann sum graphs in Typst with CeTZ
  ☆22Sep 18, 2025Updated 6 months ago
• katydid / regex-deriv-coq

  View on GitHub
  ☆23Dec 3, 2024Updated last year
• annieversary / pfp-switcher

  View on GitHub
  ☆11Oct 30, 2022Updated 3 years ago
• uds-psl / autosubst2

  View on GitHub
  Official repository of the Autosubst 2 project.
  ☆25May 8, 2023Updated 2 years ago
• kazeburo / docker-h2o

  View on GitHub
  Dockerfile for h2o HTTP Server with graceful restart support
  ☆12Jan 22, 2015Updated 11 years ago
• martinKindall / xv6-rv32

  View on GitHub
  Port of MIT's xv6 OS to 32 bit RISC V
  ☆12Feb 12, 2023Updated 3 years ago
• mikeshulman / basictex

  View on GitHub
  My basic LaTeX macros and BibTeX file.
  ☆14Jan 13, 2023Updated 3 years ago
• phts / nodejs-torrent-tracker

  View on GitHub
  A simple BitTorrent tracker written in Node.js+TypeScript
  ☆13Aug 13, 2018Updated 7 years ago
• marcelganczak / ts-swift-transpiler

  View on GitHub
  JavaScript/TypeScript to Swift Transpiler aka JSON with functions
  ☆24Jan 11, 2017Updated 9 years ago
• olange / learning-neo4j

  View on GitHub
  Learning trail and useful resources discovered while learning the Neo4j Graph database
  ☆16Jul 12, 2022Updated 3 years ago
• Baroshem / nest-microservice

  View on GitHub
  ☆11Jan 24, 2023Updated 3 years ago
• rocq-archive / automata

  View on GitHub
  Beginning of formal language theory
  ☆23Dec 7, 2019Updated 6 years ago
• gavilanch / IntroduccionAEFCore7

  View on GitHub
  ☆11Dec 9, 2022Updated 3 years ago
• danbriggs / Turing

  View on GitHub
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Oct 29, 2021Updated 4 years ago
• PacktPublishing / Fundamentals-of-Unix-and-Linux-System_Administration

  View on GitHub
  Code Repository for Fundamentals of Unix and Linux System Administration, published by Packt
  ☆12Jan 18, 2021Updated 5 years ago
• rht-labs / ansible-stacks

  View on GitHub
  Ansible playbook and roles used to creates stacks via push button infrastructure (PBI)
  ☆11Mar 8, 2018Updated 8 years ago
• AaBbdev29 / Dark-Green-Jungle

  View on GitHub
  ☆10Jan 11, 2025Updated last year
• w3ntao / programming-in-haskell

  View on GitHub
  Programming in Haskell (2nd Edition)
  ☆15Jun 8, 2017Updated 8 years ago
• mattn / ujihisa

  View on GitHub
  便利
  ☆21May 29, 2019Updated 6 years ago
• fluent-plugins-nursery / fluent-plugin-hipchat

  View on GitHub
  ☆27Mar 13, 2026Updated last week
• hokaccha / sprinkler

  View on GitHub
  End To End Testing framework.
  ☆49Jan 5, 2015Updated 11 years ago
• r7kamura / mem

  View on GitHub
  Memoize method calls.
  ☆23Aug 23, 2024Updated last year
• crosbymichael / tracker

  View on GitHub
  Go based bittorrent HTTP tracker
  ☆28Aug 7, 2020Updated 5 years ago
• Sikwan / random-json-logger

  View on GitHub
  Docker image for a random log generator.
  ☆10Oct 17, 2018Updated 7 years ago
• drecom / barrage

  View on GitHub
  ☆19Feb 15, 2023Updated 3 years ago
• OWASP / www-project-devsecops-maturity-model

  View on GitHub
  OWASP Foundation Web Respository
  ☆56Oct 4, 2025Updated 5 months ago
• r7kamura / ruboty-talk

  View on GitHub
  Talk with you if given message didn't match any other handlers.
  ☆14Oct 4, 2019Updated 6 years ago
• RedHatOfficial / miq-LDAP

  View on GitHub
  ManageIQ Automate Domain for reading and writing information from and to LDAP.
  ☆11Oct 3, 2019Updated 6 years ago
• mtsmfm / danger-regexp

  View on GitHub
  ☆11Jan 25, 2023Updated 3 years ago
• cnosuke / bank_sample

  View on GitHub
  Sample RoR to serve as gRPC
  ☆11Mar 25, 2018Updated 7 years ago