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/taktoa/eqsat
A language-generic implementation of equality saturation in Haskell
compiler equality-saturation haskell optimization term-indexing theorem-prover
Last synced: 07 Oct 2025
https://github.com/mrkkrp/htaglib
Haskell bindings for TagLib, an audio meta-data library
Last synced: 13 Jun 2025
https://github.com/andreainfufsm/elc117-2024b
ELC117 - Paradigmas de Programação - UFSM - 2024b
concurrent-programming functional-programming haskell java liascript-course logic-programming object-oriented-programming programming-paradigms prolog
Last synced: 25 Oct 2025
https://github.com/fosskers/vectortiles
A native Haskell codec for Mapbox Vector Tiles.
Last synced: 06 Oct 2025
https://github.com/twesterhout/halide-haskell
Haskell bindings to Halide
gpu halide haskell high-performance-computing jit
Last synced: 16 Mar 2025
https://github.com/obsidiansystems/beam-automigrate
Generated migrations for beam databases
beam database haskell migration
Last synced: 12 Apr 2025
https://github.com/tusharad/reddit-clone-haskell
Reddit Clone written in Haskell and Postgres
backend clone haskell haskell-application haskell-learning hyperbole postgresql reddit servant
Last synced: 17 Aug 2025
https://github.com/chris-martin/haskell-libraries
Incubator for my Haskell libraries
Last synced: 22 Mar 2025
https://github.com/shrynx/reasonz
A Haskell fan fiction for ReasonML
functor haskell monad reasonml typeclasses
Last synced: 15 Apr 2025
https://github.com/skyzyx/alpine-pandoc
Docker container with Alpine Linux, Pandoc, PlantUML, and Sphinx.
alpine-linux container docker documentation haskell java pandoc plantuml python sphinx
Last synced: 25 Mar 2025
https://github.com/fosskers/versions
Haskell types and parsers for software version numbers.
Last synced: 07 Apr 2025
https://github.com/akazukin5151/kpxhs
Interactive Keepass database TUI viewer
brick haskell keepass keepassxc password-manager tui
Last synced: 22 Nov 2025
https://github.com/marcfontaine/stm32hs
STM32 microcontroller hacking in Haskell / ST-Link USB driver
arduino haskell microcontroller stm32f10x
Last synced: 23 Apr 2025
https://github.com/csabahruska/demoscene
Demoscene: Lambda Team
demoscene engine3d graphics-3d haskell
Last synced: 12 Apr 2025
https://github.com/lancelet/space-workshop
Haskell simulations of spacecraft manoeuvres
Last synced: 10 Apr 2025
https://github.com/dmjio/LC3
:floppy_disk: The LC3 virtual machine
assembly haskell instruction-set-architecture lc3 opcodes virtual-machine
Last synced: 14 Apr 2025
https://github.com/kayhide/wakame
Haskell library of row polymorphic record manipulator
Last synced: 15 Jul 2025
https://github.com/ndmitchell/hexml
A bad XML parser
haskell performant xml xml-parser
Last synced: 08 May 2025
https://github.com/sergv/atomic-counter
Haskell counters that can be safely incremented from multiple threads
Last synced: 06 May 2025
https://github.com/dfordivam/reflex-websocket-interface
A simple to use interface for websocket using reflex-frp
Last synced: 12 Apr 2025
https://github.com/tek/ribosome
A Neovim plugin host and framework for Haskell
Last synced: 02 May 2025
https://github.com/stackbuilders/atomic-write
Writes files atomically in Haskell while preserving permissions
atomic-actions file-management hacktoberfest haskell
Last synced: 17 Mar 2025
https://github.com/tensor-fusion/gpt-haskell
A pure Haskell implementation of a decoder-only transformer (GPT)
deep-learning gpt gpt-2 haskell large-language-models transformer
Last synced: 03 Jul 2025
https://github.com/typeclasses/stripe
Haskell libraries for working with the Stripe API
haskell haskell-library scotty stripe stripe-api wreq
Last synced: 09 Apr 2025
https://github.com/leptonyu/salak
Haskell Configuration Loader
configuration-loader haskell salak toml yaml
Last synced: 26 Mar 2025
https://github.com/sellout/compiling-anything-to-categories
a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
category-theory ghc ghc-plugin haskell
Last synced: 23 Mar 2025
https://github.com/basvandijk/lifted-base
IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl
Last synced: 04 Aug 2025
https://github.com/sjoerdvisscher/effects
Control.Effects
eff haskell monad-transformers
Last synced: 14 Apr 2025
https://github.com/barrucadu/irc-client
This project is essentially abandonware!
Last synced: 14 Apr 2025
https://github.com/twesterhout/spin-ed
User-friendly exact diagonalization package written in Haskell. Can treat systems of up to 𝒪(42) spins!
exact-diagonalization haskell high-performance many-body numerical-methods quantum
Last synced: 04 Sep 2025
https://github.com/ilyasergey/monadic-cfa
Generic implementation of different CFA families based on monadic decomposition
abstract-interpretation haskell k-cfa monads static-analysis
Last synced: 31 Jul 2025
https://github.com/totallynotchase/valida
:heavy_check_mark: Simple, elegant, profunctorial, applicative validation for product types!
applicative-functors contravariant-functors haskell profunctors validation validator
Last synced: 30 Aug 2025
https://github.com/lagunoff/htmlt
Lightweight frontend library for GHC with JavaScript Backend
ghc ghcjs gui haskell react virtual-dom
Last synced: 06 Mar 2025
https://github.com/basvandijk/levmar
An implementation of the Levenberg-Marquardt algorithm
Last synced: 30 Jul 2025
https://github.com/rcolinray/phaser-dash-docset
A Dash Docset for Phaser.
dash dash-docset docset haskell phaser phaser-docset
Last synced: 26 Oct 2025
https://github.com/matthew-mosior/fasta-region-inspector
A bioinformatics tool for analyzing somatic hypermutation
bioinformatics biomart csv-writer effect-system effectful haskell knuth-morris-pratt linear-types multithreading sbv smt-solver somatic-hypermutation xml-generator yaml-configuration
Last synced: 23 Jun 2025
https://github.com/andys8/dotfiles
dotfiles repository
arch dotfiles el elm fish haskell i3 linux nix purescript qutebrowser rofi st typescript vim xmonad
Last synced: 21 Mar 2025
https://github.com/ondrap/dynamodb-simple
Type-safe Haskell framework for AWS DynamoDB
Last synced: 08 Jul 2025
https://github.com/aionescu/oplang
Stack-based esoteric programming language
compiler esoteric-language haskell stack-based
Last synced: 13 Apr 2025
https://github.com/hasufell/hpath
Typed filepath in haskell
dirname filepath filepath-manipulation files haskell posix
Last synced: 12 Apr 2025
https://github.com/y-taka-23/time-machine
A Haskell library to mock the current time. ⏰
Last synced: 13 Apr 2025
https://github.com/waddlaw/haskell-stack-trace-plugin
compiler-plugin haskell source-plugin
Last synced: 10 Apr 2025
https://github.com/typelead/eta-ffi
A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.
eta ffi ffi-bindings haskell jar jvm
Last synced: 05 May 2025
https://github.com/ceticamarco/zephyr
🌲 real-time weather forecast service
analytics api functional-programming haskell http json network weather-data weather-forecast weather-station
Last synced: 19 Jul 2025
https://github.com/simre1/reactimate
A Haskell libary for fast arrowized FRP based on signal functions
arrow frp functional-reactive-programming game haskell
Last synced: 13 Apr 2025
https://github.com/pechersky/haskell-numpy-docs
Examples of Haskell versions of Numpy usage
haskell hmatrix numpy sphinx-doc
Last synced: 17 Jan 2026
https://github.com/leptonyu/odpic-raw
Haskell raw bindings to Oracle ODPI-C Library
Last synced: 26 Mar 2025
https://github.com/danidiaz/red-black-record
Extensible records and variants indexed by a type-level Red-Black tree.
haskell higher-kinded type-level-programming
Last synced: 18 Jan 2026
https://github.com/vmchale/phash
Perceptual hashing command-line tool
command-line-tool deduplication duplication-detection duplication-finder haskell perceptual-hash phash
Last synced: 26 Apr 2025
https://github.com/mastarija/valor
Simple and powerful data validation library with Applicative and Monad interface.
form-validation forms haskell library validation
Last synced: 21 Oct 2025
https://github.com/solomon-b/monoidal-functors
A library encoding monoidal functors and related structures in Haskell.
category-theory haskell monoidal-categories
Last synced: 15 Oct 2025
https://github.com/selectel/hen
Haskell bindings to Xen hypervisor interface
Last synced: 18 Aug 2025
https://github.com/thunky-monk/kawhi
stats.nba.com library :basketball:
aeson basketball basketball-stats haskell haskell-language haskell-library nba nba-analytics nba-api nba-games nba-statistics nba-stats nba-stats-api nba-visualization thunky-monk
Last synced: 26 Mar 2025
https://github.com/mchav/courseramachinelearning
Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.
haskell machine-learning machine-learning-coursera
Last synced: 25 Mar 2025
https://github.com/mrkkrp/hspec-megaparsec
Utility functions for testing Megaparsec parsers with Hspec
haskell hspec megaparsec testing
Last synced: 25 Oct 2025
https://github.com/appliedfm/vstyle
A style guide for Coq
appliedfm c coq dependent-types formal-mathematics formal-methods formal-proofs formal-semantics formal-specification formal-verification haskell ocaml proof proof-assistant software-engineering style-guide verification
Last synced: 25 Oct 2025
https://github.com/basvandijk/concurrent-extra
Extra concurrency primitives
Last synced: 16 Mar 2025
https://github.com/klarkc/nix-templates
Minimal reproducible nix flake templates
haskell nix plutus purescript template
Last synced: 18 Jan 2026
https://github.com/nelsonmestevao/uminho
:books: University projects, exercises & notes
c cpp data-science distributed-systems haskell java software-engineering
Last synced: 27 Oct 2025
https://github.com/gvolpe/stm-demo
Bank transfer examples using STM in both Haskell and Scala (zio-stm)
haskell memory scala stm transactions zio
Last synced: 22 Mar 2025
https://github.com/05st/artemis
Statically typed, high-level functional programming language.
functional functional-programming haskell interpreter language languages programming-language
Last synced: 25 Sep 2025
https://github.com/Kuratoro/haskell.zettel.page
Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)
Last synced: 01 May 2025
https://github.com/aaaastark/goal-kicker-notes-professional-programming-languages
Goal-Kicker-Notes-Professional-Programming-Languages (goal kicker)
algorithms android bash c css dotnet entity-framework excelvba haskell hibernate html java latex mongodb nodejs python react-native reactjs ruby sql
Last synced: 24 Sep 2025
https://github.com/alpacaaa/tex
Minimalistic file explorer, written in Haskell.
Last synced: 24 Jul 2025
https://github.com/co-log/co-log-core
🌽 Core types and functions that power the Haskell `co-log` implementation
co-log contravariant core hacktoberfest haskell logging
Last synced: 10 Apr 2025
https://github.com/slotthe/slotthe.github.io
blog emacs hakyll haskell personal-website typography xmonad
Last synced: 26 Oct 2025
https://github.com/ariady-putra/morbid
Davy Jones' Locker
aiken dapp haskell offchain onchain playground plutus smart-contract
Last synced: 07 May 2025
https://github.com/kipos-lang/kipos
let a million languages bloom
haskell hindley-milner ocaml pldi popl racket-lang structured-editing type-inference
Last synced: 27 Oct 2025
https://github.com/cdepillabout/shebanger
Convert a shell script into a series of shebang lines
Last synced: 29 Jul 2025
https://github.com/kowainik/first-class-patterns
First class patterns and pattern matching, using type families
first-class haskell pattern-matching patterns
Last synced: 28 Oct 2025
https://github.com/foreverbell/project-euler-solutions
Project Euler solutions in Haskell.
Last synced: 17 Dec 2025
https://github.com/chungyc/ninetynine
Ninety-Nine Haskell Problems. The documentation serves as a standalone list of problems. Includes tests and benchmarks for checking and comparing solutions.
Last synced: 11 Apr 2025
https://github.com/nikita-volkov/hasql-tutorial1
Tutorial on organisation of Hasql code in a Postgres-integration layer
haskell hasql postgresql tutorial
Last synced: 10 Apr 2025
https://github.com/egison/sweet-egison
Haskell library for non-deterministic pattern matching
backtracking egison haskell non-linear-pattern pattern-matching
Last synced: 23 Jun 2025
https://github.com/takenobu-hs/type-introduction-illustrated
Haskell type introduction illustrated
Last synced: 13 Apr 2025
https://github.com/glguy/config-value
Simple, layout-based, unambiguous configuration language implemented in Haskell
Last synced: 21 Mar 2025
https://github.com/erewok/servant-py
Servant client generators for the Python language
haskell haskell-library python servant servant-client
Last synced: 15 Sep 2025
https://github.com/freckle/faktory_worker_haskell
Faktory Worker for Haskell
Last synced: 12 May 2025
https://github.com/composewell/unicode-data
Access unicode character database
Last synced: 09 Apr 2025
https://github.com/webcpu/haskellred
A functional library for Red programmers
functional-programming haskell red-lang
Last synced: 05 May 2025
https://github.com/stevana/hot-swapping-state-machines
An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.
haskell hot-code-reload state-machines
Last synced: 21 Mar 2025
https://github.com/sdiehl/haskell-picosat
Haskell bindings for PicoSAT solver
haskell haskell-library logic logic-programming picosat picosat-solver sat-solver
Last synced: 16 Jul 2025
https://github.com/toptobes/typefuck-haskell
Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
Last synced: 07 May 2025
https://github.com/junjihashimoto/th-cas
Compile time CAS(Computer Algebra System) for Haskell
algebra cas computer-algebra haskell
Last synced: 12 Apr 2025
https://github.com/timjb/halma
Chinese Checkers Haskell library, GUI application and Telegram bot
chinese-checkers diagrams game-ai haskell serverless telegram-bot
Last synced: 17 Jul 2025
