Haskell
Haskell is a functional (that is, everything is done with function calls), statically, implicitly typed (types are checked by the compiler, but you don’t have to declare them), lazy (nothing is done until it needs to be) language.
- GitHub: https://github.com/topics/haskell
- Wikipedia: https://en.wikipedia.org/wiki/Haskell_(programming_language)
- Repo: https://github.com/haskell
- Released: 1990
- Last updated: 2026-01-24 00:14:55 UTC
- JSON Representation
https://github.com/nikita-volkov/ptr-peeker
Fast deserialization DSL for Haskell
Last synced: 21 Oct 2025
https://github.com/thma/hswiki
Simple Wiki in the spirit of the legendary C2-Wiki - written in haskell with yesod
graphviz haskell html markdown milligram-css regex wiki wikiwiki yesod
Last synced: 26 Mar 2025
https://github.com/grin-compiler/souffle-cfa-optimization-experiment
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
cfa closures control-flow-analysis datalog functional-programming haskell lazy-evaluation souffle static-analysis stg
Last synced: 08 Apr 2025
https://github.com/duijf/boring-software
Boring Software with Haskell - Monadic Party 2019
architecture boring-software education haskell talk
Last synced: 07 May 2025
https://github.com/shin-sakata/ghc-single-binary-builder
This repository provides an easy way to build a single statically linked binary that does not depend on glibc or other shared libraries.
docker ghc haskell musl static-binary
Last synced: 25 Dec 2025
https://github.com/tomatosoup97/freak
Free as in beer, free as in algebra. Language with (co)algebraic effects and (co)handlers
algebra algebraic-effects haskell languages monads
Last synced: 17 Apr 2025
https://github.com/zudov/servant-realworld-example-app
Exemplary real world application built with servant
example haskell realworld servant
Last synced: 10 Jun 2025
https://github.com/inscapist/simple-ping
Simply returns HTTP 200. Meant to be used together with NodePort service, as node health check
haskell health-check healthcheck kubernetes nix nix-shell nixpkgs
Last synced: 30 Jun 2025
https://github.com/jecaro/systranything
Create a system tray menu from a YAML file with shell commands
appindicator haskell haskell-gi system-tray
Last synced: 02 Aug 2025
https://github.com/objectionary/phino
Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions
code-analysis command-line-tool eolang formalization haskell normalization phi-calculus
Last synced: 19 Jun 2025
https://github.com/sigrlami/pollock
Repo for teaching Web Development in Haskell
elm haskell heist learning purescript react reflex-frp servant
Last synced: 02 Aug 2025
https://github.com/peti/funcmp
Function MetaPost is a Haskell frontend to the MetaPost language.
graphics haskell haskell-library latex metapost postscript
Last synced: 23 Mar 2025
https://github.com/lupino/sharefs
A share file system base on http and fuse
fuse fuse-filesystem haskell haskell-library microservice microservices
Last synced: 12 Jul 2025
https://github.com/hellwolf/thsh
A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell
bash haskell shell shell-scripting
Last synced: 16 Sep 2025
https://github.com/oisdk/type-indexed-queues
Queues with verified and unverified versions
data-structures dependent-types haskell
Last synced: 11 Jul 2025
https://github.com/danieljharvey/migratable
Haskell library to ease the pain of versioning and migrating data types
haskell migration-tool type-families type-level-programming
Last synced: 31 Jul 2025
https://github.com/okmttdhr/haskell-algorithms
Algorithms and data structures implemented in Haskell
algorithm data-structures functional-programming haskell
Last synced: 22 Apr 2025
https://github.com/phoityne/pty-mcp-server
pty-mcp-server
ai bash cabal clean-architecture ghc ghci haskell mcp mcp-server onion onion-architecture pty shell ssh stack
Last synced: 31 Jul 2025
https://github.com/tfausak/patrol
:signal_strength: A Sentry SDK for Haskell
Last synced: 23 Mar 2025
https://github.com/freckle/weeder-action
Run Weeder to uncover unused Haskell functions
Last synced: 04 Oct 2025
https://github.com/obsidiansystems/daml-cucumber
Cucumber testing for daml scripts
cucumber daml gherkin haskell testing-tool
Last synced: 12 Apr 2025
https://github.com/andreabedini/cabal-cache-native
Native GitHub Action cache for your cabal project
Last synced: 10 Apr 2025
https://github.com/petertseng/adventofcode-hs-2022
Solutions to https://adventofcode.com/2022 (complete)
advent-of-code advent-of-code-2022 haskell
Last synced: 19 Jun 2025
https://github.com/srid/miso-viso
Playing with abstract visualizations in Miso. Work in Progress.
haskell miso svg visualization
Last synced: 16 Jul 2025
https://github.com/taktoa/hsdm
An X11 display manager, written in Haskell. (WIP)
Last synced: 10 Apr 2025
https://github.com/alexandru/days-since
Simple command line for showing the number of passed days since a certain date
Last synced: 09 May 2025
https://github.com/foxhound-systems/eved
Eved is an API definition eDSL in the spirit of Servant
Last synced: 10 Apr 2025
https://github.com/gaumala/translatejpbot
Telegram bot to translate Japanese words
haskell japanese-language jmdict telegram-bot translator
Last synced: 08 May 2025
https://github.com/siraben/hasktran
A compiler for FRACTRAN written in Haskell.
assembler compiler fractran haskell monad-transformers tagless-final
Last synced: 12 May 2025
https://github.com/meooow25/samsort
A stable adaptive mergesort implementation
Last synced: 09 Sep 2025
https://github.com/airalab/robonomics-tools
Robonomics network provider software (xrtd) and other cli tools
Last synced: 11 Apr 2025
https://github.com/tristancacqueray/haxible
Ansible interpreter powered by Haxl
Last synced: 07 May 2025
https://github.com/lukeg101/mscprojectpublic
Masters Thesis, University of Oxford. Research project combining Calculating Compilers and Algebraic Effects using Haskell, supervised by Jeremy Gibbons. Presented work at the International Conference on Functional Programming Student Research Competition and the 7th South of England Regional Programming Languages Seminar.
algebraic-effects calculating-compilers compilers derivation haskell type-system
Last synced: 08 May 2025
https://github.com/moodmosaic/bookmarks
A selection of the links I find interesting over time. Updated on a regular basis.
c category-theory cryptocurrencies dotnet fsharp git haskell leisure unix-like
Last synced: 06 May 2025
https://github.com/tfausak/haskell-package-checklist
:ballot_box_with_check: Write better Haskell packages
Last synced: 11 May 2025
https://github.com/sternenseemann/likely-music
experimental application for probabilistic music composition
es6 haskell javascript midi music musical-score notation notes sound visjs wav yarn
Last synced: 24 Jun 2025
https://github.com/tfausak/salve
:syringe: Semantic version numbers and constraints for Haskell.
Last synced: 21 Mar 2025
https://github.com/myuon/minilight
A SDL2-based graphics library, batteries included.
Last synced: 14 Apr 2025
https://github.com/advait/aoc
Advent of code in reason, elm, haskell, purescript, and custom lisp!
advent-of-code advent-of-code-2018 aoc elm elm-lang haskell ocaml reasonml
Last synced: 21 Mar 2025
https://github.com/rpearce/robertwpearce.com
💾 My personal site; built with hakyll
blog hakyll haskell static-site static-site-generation
Last synced: 06 May 2025
https://github.com/hvr/cabal-env
Tool for managing GHC package environments
Last synced: 09 Apr 2025
https://github.com/obsidiansystems/push-notifications
apns firebase haskell push-notifications
Last synced: 12 Apr 2025
https://github.com/mchakravarty/welcome-to-fp-workshop
Support material for the “Introduction to Functional Programming” workshop @ the "Welcome to Functional Programming" day of YOW! Lambda Jam, Sydney, 2018 & 2019
functional-programming haskell introduction learning
Last synced: 10 Apr 2025
https://github.com/l29ah/hatexmpp3
XMPP client with synthetic filesystem (9P) and (optional) graphical (GTK3) interfaces
Last synced: 25 Oct 2025
https://github.com/ucsd-progsys/intro-refinement-types
Introductory Tutorial on Refinement Types
haskell liquidhaskell refinement-types smt
Last synced: 14 Apr 2025
https://github.com/micheleriva/hackerrank-my-solutions
🍿My solutions to HackerRank problems
ai artificial-intelligence bot cpp cpp11 elixir elixir-lang euler hackerrank hackerrank-solutions haskell js mysql regex regexp ruby scala sql
Last synced: 07 May 2025
https://github.com/jyothsnasrinivas/eta-scotty-example
Scotty example in Eta
eta functional-programming haskell jvm
Last synced: 22 Apr 2025
https://github.com/lambdageek/centrinel
Analyze how a C program uses memory regions
haskell language-c region-inference static-analysis
Last synced: 11 Apr 2025
https://github.com/aztek/tptp
Parser and pretty printer for the TPTP language
automated-theorem-provers eprover haskell haskell-library logic parsing parsing-library pretty-print theorem-proving tptp vampire
Last synced: 20 Jul 2025
https://github.com/joshuaclayton/file-fun
A fun program for files, written in Haskell, to demonstrate a monad transformer stack
Last synced: 12 Apr 2025
https://github.com/mbg/hoop
A Haskell library for object-oriented programming
haskell haskell-library object-oriented-programming subtyping template-haskell
Last synced: 08 Sep 2025
https://github.com/prikhi/hledger-graphs
Generate Graphs From Your HLedger Journal
accounting charts diagrams finance graphs haskell hledger ledger-cli
Last synced: 29 Oct 2025
https://github.com/dahlia/nicovideo-translator
Nico Nico Douga (ニコニコ動画) Comment Translator
agplv3 haskell niconico nicovideo proxy-server translator
Last synced: 07 May 2025
https://github.com/andrewmacmurray/haskell-elm-architecture
Elm style model update view in Haskell
Last synced: 07 Jul 2025
https://github.com/reneklacan/yesod-heroku-example
Minimal example of a pipeline for deploying Yesod app to Heroku through CircleCI.
Last synced: 11 Apr 2025
https://github.com/andreainfufsm/elc117-2020a
ELC117 - Paradigmas de Programação - UFSM - 2020a
concurrent-programming education functional-programming haskell java logic-programming object-oriented-programming programming-paradigms prolog
Last synced: 20 Jun 2025
https://github.com/jyothsnasrinivas/eta-android-animation
Eta Android Animation example
android eta functional-programming haskell
Last synced: 26 Jun 2025
https://github.com/serokell/github-app
Haskell API for authenticating as a GitHub App
github github-api github-apps haskell
Last synced: 12 Jun 2025
https://github.com/fptje/miso-jswidget-example
Example of embedding arbitrary javascript widgets into Miso.
Last synced: 06 May 2025
https://github.com/caneroj1/filter-logger
Filterable request logging as wai middleware
Last synced: 13 Apr 2025
https://github.com/haskell-miso/miso-presentation
🍜 A presentation given on miso
Last synced: 22 Jul 2025
https://github.com/udacity/geode
Geolocation as a service, replaced by https://github.com/udacity/geo
geolite2 geolocation haskell infrastructure maxmind platform
Last synced: 03 Apr 2025
https://github.com/prikhi/ksp-automation
A Kerbal Space Program Automation TUI & Haskell Library.
automation brick haskell kerbal-space kerbal-space-program krpc krpc-hs tui
Last synced: 29 Oct 2025
https://github.com/matsubara0507/extensible-instances
instances of extensible data type for any type class
Last synced: 21 Jun 2025
https://github.com/ldgrp/ldgrp.github.io
Personal website built with Hakyll + Pandoc and Tailwind CSS.
blog hakyll haskell static-site tailwindcss
Last synced: 17 Jun 2025
https://github.com/tusharad/modulus-ai
AI Chatbot using Hyperbole and langchain-hs
Last synced: 15 Sep 2025
https://github.com/haskell-nix/haskell-with-nixpkgs
Drop-in files ready to integrate your project with Nix ecosystem and give Nixpkgs Haskell Lib abilities for your development and CI
ecosystem github-actions haskell nix nixpkgs testing
Last synced: 28 Jun 2025
https://github.com/simre1/haskell-game
apecs ecs game game-engine gpipe haskell opengl
Last synced: 13 Apr 2025
https://github.com/drknzz/wolke-lang
☁️ Wolke language interpreter ☁️
bnfc haskell interpreter language syntax typechecker
Last synced: 12 Apr 2025
https://github.com/toktok/hs-msgpack-types
Abstract data types and type classes for Haskell to MessagePack value converters
Last synced: 13 Jul 2025
https://github.com/mprzewie/haspell
An awesome text-to-speech engine written in Haskell
haskell text-to-speech wav-files
Last synced: 02 Nov 2025
https://github.com/mjstewart/rejig
A module header (imports / exports) formatting tool for haskell and daml
Last synced: 17 Jun 2025
https://github.com/fresheyeball/shpadoinkle
This is the OFFICIAL MIRROR of the project. It is kept automatically up to date. Source of truth here: https://gitlab.com/fresheyeball/Shpadoinkle/-/tree/master
framework functional-programming haskell javascript user-interface
Last synced: 13 Apr 2025
https://github.com/valderman/zalgo
A somewhat flexible Zalgo̐ te̳͜x̥̖̉̓͞t̍̌̔ ̀̃t̴̢̞̜͓̝r̶̬̆̂̒͟á̧̡͎͔̯̰̕n̹̾̓ͬͦ̍͘ṡ̢͓͉ͮ͆l̠̖̹̗̳̖̽̌ͤ͞a͚̭͙̹̲ͭͩt͈͐o̢̭͇͍̟͐ͬ̾ͪ͜r͇.̸̅ͭ̐̀̊ͨ͛
Last synced: 13 Apr 2025
https://github.com/mejgun/haskell-tdlib
TDLib (Telegram Database library) JSON bindings for Haskell
haskell haskell-tdlib tdlib tdlib-haskell telegram telegram-library
Last synced: 20 Jan 2026
https://github.com/minad/wl-pprint-annotated
Wadler/Leijen pretty printer with annotations and API conforming to modern Haskell
haskell pretty-print wadler-leijen
Last synced: 22 Mar 2025
https://github.com/mmzk1526/mmzk-typeid
A TypeID and UUIDv7 implementation in Haskell
haskell haskell-library typeid uuid uuid-generator uuid-v7
Last synced: 29 Oct 2025
