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/stla/isosurfaces

Some isosurfaces with Haskell.

haskell isosurface marching-cubes opengl

Last synced: 14 Apr 2025

https://github.com/dagit/logict-sequence

A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper

haskell logict

Last synced: 26 Jul 2025

https://github.com/unclechu/xlib-keys-hack

Keyboard behavior customization utility

haskell keyboard keyboard-layout linux x11 xkb xlib xmobar xmonad

Last synced: 27 Jul 2025

https://github.com/sleexyz/haskell-fun

haskell is fun

fun haskell is

Last synced: 19 Sep 2025

https://github.com/hauntedhost/programming-in-haskell

Programming in Haskell (2nd ed) by Graham Hutton

functional-programming haskell haskell-learning

Last synced: 29 Jul 2025

https://github.com/typeclasses/assoc-list

An association list conceptually signifies a mapping, but is represented as a list (of key-value pairs)

association-list haskell haskell-library

Last synced: 31 Jul 2025

https://github.com/jaalonso/examenes_de_pf_con_haskell

Exámenes de programación funcional con Haskell

functional-programming haskell

Last synced: 02 Aug 2025

https://github.com/8c6794b6/hpc-codecov

Generate reports from hpc data

cobertura codecov coverage haskell lcov test

Last synced: 02 Aug 2025

https://github.com/wei2912/wei2912.github.io

Personal blog.

blog cryptography functional-programming haskell ml utterances website

Last synced: 12 Aug 2025

https://github.com/plapadoo/matrix-bot

Provide a simple, script-friendly interface to posting stuff on matrix channels

automation haskell http matrix riot-web

Last synced: 15 Aug 2025

https://github.com/damianfral/github-ls

A simple tool that uses the GitHub API to list your repositories.

cli github-api haskell nix

Last synced: 21 Aug 2025

https://github.com/gusenov/stepik-functional-programming-hs

:mortar_board: Функциональное программирование на языке Haskell.

course examples haskell problem-solving problemsolving stepik

Last synced: 14 Apr 2025

https://github.com/picnoir/DobadoBots

Videogame in which you program robots AI

haskell haskell-game sdl2 sdl2-ttf videogame

Last synced: 24 Jul 2025

https://github.com/brandonchinn178/tasty-autocollect

Automatic collection of Tasty tests

haskell testing

Last synced: 29 Jun 2025

https://github.com/wasabi315/type-search-zoo

A collection of type-based library search algorithms

haskell isomorphism library-search

Last synced: 04 Apr 2025

https://github.com/peti/csv2ledger

convert accounting data from CSV to Ledger format

converter haskell haskell-library hledger ledger

Last synced: 23 Mar 2025

https://github.com/ryota-ka/duration

A tiny compile-time time utility library, inspired by zeit/ms.

haskell template-haskell time

Last synced: 15 Apr 2025

https://github.com/ryota-ka/markov-bot

Generates random sentences from your tweet history using the Markov chain, and post them into Twitter.

haskell markov-chain twitter

Last synced: 15 Apr 2025

https://github.com/standardsemiconductor/ice40-prim

Lattice iCE40 Primitive IP

clash fpga haskell ice40

Last synced: 30 Apr 2025

https://github.com/picnoir/dobadobots

Videogame in which you program robots AI

haskell haskell-game sdl2 sdl2-ttf videogame

Last synced: 22 Apr 2025

https://github.com/matsubara0507/servant-kotlin

Automatically derive Kotlin functions to query servant webservices

haskell haskell-library haskell-servant kotlin servant-client

Last synced: 22 Jun 2025

https://github.com/pirate/experiments

:sparkles: Random (sometimes xkcd-inspired) Python, Haskell, and JS experiments involving data science and algorithm fun.

algorithms computer-science data-science data-structures game-theory haskell javascript machine-learning math python random snippets statistics test-bed

Last synced: 24 Mar 2025

https://github.com/jktujq/synapse

Synapse is a machine learning library written in pure Haskell, that makes creating and training neural networks an easy job.

autograd haskell machine-learning tensors

Last synced: 29 Oct 2025

https://github.com/gergoerdi/clash-pong

Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs

clash fpga hardware haskell pong-game

Last synced: 19 Apr 2025

https://github.com/gergoerdi/chip8-papilio

FPGA implementation of the Chip8 platform, in Kansas Lava

chip8 fpga haskell kansas-lava microprocessor papilio retro xilinx

Last synced: 19 Apr 2025

https://github.com/raptazure/playground

Just toys

cpp elixir haskell idris java ocaml python reasonml rust-lang typescript

Last synced: 31 Mar 2025

https://github.com/mariari/misc-ml-scripts

Various ideas in OCaml, Haskell, and F*

fstar haskell ocaml

Last synced: 09 Apr 2025

https://github.com/tsoding/boids

Boids in Haskell

boids hacktoberfest hacktoberfest2020 haskell simulation visualization

Last synced: 03 Jul 2025

https://github.com/y-taka-23/wasm-game-of-life

An example of Asterius, compiling Haskell to WebAssembly.

asterius haskell wasm webassembly

Last synced: 11 Apr 2025

https://github.com/arsalan0c/cdp-hs

Haskell library for the Chrome DevTools Protocol

chrome chrome-devtools-protocol haskell

Last synced: 12 May 2025

https://github.com/raptazure/experiments

Just toys

cpp elixir haskell idris java ocaml python reasonml rust-lang typescript

Last synced: 12 Jul 2025

https://github.com/typeclasses/leanpub

Haskell client for the Leanpub API

haskell haskell-library leanpub leanpub-api wreq

Last synced: 24 Aug 2025

https://github.com/fosskers/fosskers.ca

My personal site.

blog haskell rss rust

Last synced: 23 Apr 2025

https://github.com/cosmo0920/ahblog

A simple Blog engine powered by Haskell language, Yesod and Bootstrap 3.

blog haskell yesod

Last synced: 04 Jul 2025

https://github.com/obsidiansystems/constraints-extras

Convenience functions and template haskell for working with constraints

constraints haskell

Last synced: 04 Jul 2025

https://github.com/jship/s3k

Do more with stack by typing less!

alias build-tool haskell regex regular-expression stack

Last synced: 22 Feb 2025

https://github.com/dschrempf/elynx

Analyze, modify and simulate molecular sequence data and phylogenetic trees in a reproducible way.

bioinformatics haskell phylogenetics

Last synced: 10 Apr 2025

https://github.com/gitpod-samples/template-haskell

The Haskell template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

gitpod haskell template

Last synced: 20 Jun 2025

https://github.com/taffybar/status-notifier-item

A Haskell implementation of the StatusNotifierItem protocol (https://www.freedesktop.org/wiki/Specifications/StatusNotifierItem/).

appindicator dbus haskell status-notifier-item statusnotifieritem systray taffybar

Last synced: 11 Dec 2025

https://github.com/foreverbell/parakeet

Hepburn Romaji + Japanese lexical analysis & texifier.

haskell hepburn-romanization japanese

Last synced: 13 Apr 2025

https://github.com/arowm/haskell-bookkeeping

A Haskell module for bookkeeping by double entry.

bookkeeping haskell haskell-bookkeeping

Last synced: 10 Apr 2025

https://github.com/cdepillabout/servant-on-heroku

Example app showing how to release a Haskell web app on Heroku

database deployment docker example haskell heroku postgresql servant

Last synced: 10 Apr 2025

https://github.com/tejasbubane/haskell-book-code

[Complete] Solutions to exercises from "Haskell Book" along with study notes

exercises haskell haskell-learning learning-by-book

Last synced: 06 May 2025

https://gitlab.com/gilmi/giml-lang

https://giml-lang.org A functional programming language with emphasis on structural typing.

compiler haskell parsing type inference

Last synced: 12 Apr 2025

https://github.com/mzguntalan/neptune

[WIP] Neptune: JAX iterop-able library in Haskell.

ai deep-learning haskell jax machine-learning python xla

Last synced: 07 May 2025

https://github.com/soulomoon/haskell-katas

Home for my CodeWars Haskell practice

codewars-kata codewars-solutions haskell haskell-exercises haskell-learning

Last synced: 12 Apr 2025

https://github.com/saep/nvim-hs-ghcid

Ghcid integration plugin for nvim-hs

ghcid haskell neovim nvim-hs plugin

Last synced: 13 Apr 2025

https://github.com/adetokunbo/tmp-proc

Use docker to run 'tmp' processes in haskell integration tests

docker haskell haskell-library testing

Last synced: 13 Apr 2025

https://github.com/tristancacqueray/pipewire.hs

Haskell bindings to Pipewire Multimedia Framework

haskell pipewire

Last synced: 10 Apr 2025

https://github.com/sighingnow/mxnet-haskell

MXNet interface in Haskell.

deep-learning ffi-bindings haskell mxnet

Last synced: 13 Apr 2025

https://github.com/betaveros/bcodex

A command-line utility in Haskell (as well as tiny JS app) for flexibly converting between puzzlehunt-y "encodings"

encoding haskell puzzlehunt

Last synced: 23 Jul 2025

https://github.com/vyorkin/haskbot

:construction: Haskell interpreter telegram bot. WIP.

haskell telegram

Last synced: 13 Apr 2025

https://github.com/dduan/brainass

A Brainfuck to WebAssembly compiler written in Haskell

brainfuck haskell wasm wasm-example webassembly

Last synced: 13 Apr 2025

https://github.com/kowainik/crocodealer

🐊 Manage GitHub organization files, labels, issues

github haskell labels management open-source organization workflow workflows

Last synced: 30 Apr 2025

https://github.com/haskell-hvr/resolv

dns dns-client haskell resolv

Last synced: 11 Jul 2025

https://github.com/haskell-hvr/hsyaml-aeson

JSON to YAML Adapter

haskell json yaml

Last synced: 11 Jul 2025

https://github.com/juspay/hoogleverse

Host Hoogle via Nix / NixOS, with handpicked list of packages

haskell hoogle nix self-hosted

Last synced: 22 Jun 2025

https://github.com/marcusbuffett/newreads

The code for the newreads site

books functional-programming hacktoberfest halogen haskell purescript

Last synced: 20 Mar 2025

https://github.com/pjones/openid-connect

An OpenID Connect library that does all the heavy lifting for you

haskell openid-connect

Last synced: 22 Jul 2025

https://github.com/battermann/connect-4

Connect 4 implemented with event sourcing and CQRS using Haskell, PureScript, Redis, Postgres, GraphQL/Hasura and Elm

cqrs elm event-sourcing graphql haskell hasura microservices no-frameworks postgres purescript redis

Last synced: 30 Apr 2025

https://github.com/haskell-hvr/otp

Haskell implementation of One-Time Passwords algorithms

2fa-security haskell hotp oath totp

Last synced: 11 Dec 2025

https://github.com/lysxia/show-combinators

Minimalistic Haskell pretty-printing library

haskell

Last synced: 07 Sep 2025

https://github.com/verement/decimal-arithmetic

A Haskell implementation of General Decimal Arithmetic

decimal haskell

Last synced: 09 Apr 2025

https://github.com/kztk-m/sparcl

Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/

domain-specific-language functional-programming haskell linear-types reversible-computation reversible-programming-language

Last synced: 03 Dec 2025

https://github.com/fizruk/free-foil

Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).

abstract-syntax haskell scala type-safe

Last synced: 09 Apr 2025

https://github.com/mxswd/data-filepath

A type safe file path data structure.

haskell

Last synced: 11 Dec 2025

https://github.com/bsima/haskell-urbit-api

talk to your urbit from haskell

haskell urbit

Last synced: 11 Dec 2025

https://github.com/morphismtech/free-categories

free categories

functor haskell isomorphism morphisms quivers

Last synced: 26 Mar 2025

https://github.com/gregorias/findata-fetcher

A scraper of personal financial data from websites

haskell

Last synced: 05 Sep 2025

https://github.com/angerman/data-bitcode-llvm

Data.BitCode.LLVM

bitcode haskell llvm

Last synced: 25 Oct 2025

https://github.com/sgraf812/datafix

Fixing data-flow problems in expression trees

compiler-optimization data-flow-analysis haskell

Last synced: 09 Apr 2025

https://github.com/konn/ghc-typelits-presburger

Presburger arithmetic solver for built-in type-level naturals

compiler-plugin dependent-types ghc ghc-plugin haskell presburger-arithmetic-solver solver type-level-programming

Last synced: 06 Oct 2025

https://github.com/michelboucey/nanoid

NanoID generator library and CLI tool in Haskell

cli haskell nanoid unique-id-generator uuid-like

Last synced: 28 Apr 2025

https://github.com/aztek/atp

Haskell interface to automated theorem provers

atp automated-theorem-provers first-order-logic formal-methods haskell logic prover theorem-proving tptp

Last synced: 15 Oct 2025

https://github.com/iconnect/rails-session

Decrypt Ruby on Rails sessions in Haskell

haskell rails ruby web

Last synced: 01 Mar 2025

https://github.com/opensuse-haskell/configuration

Configuration and patches that guide the generation of the Haskell projects at openSUSE.

distribution ghc haskell lts obs opensuse

Last synced: 17 Jan 2026

https://github.com/taffybar/gtk-traymanager

A wrapper around eggtraymanager for Haskell/gtk2hs

gtk2hs haskell tray-widget xembed

Last synced: 11 Dec 2025

https://github.com/cocreature/diagrams-miso

Miso backend for the diagrams Haskell graphics library

diagrams graphics haskell miso web

Last synced: 16 Oct 2025

https://github.com/yacodes/tidalbooth

🎼 Working repository for TidalCycles and SuperCollider performances and experiments

algorave haskell live-coding sclang supercollider superdirt tidal tidalcycles

Last synced: 12 Apr 2025

https://github.com/xgrommx/haskell-ecosystem

ecosystem haskell haskell-ecosystem

Last synced: 08 May 2025

https://github.com/alistra/data-structure-inferrer

A program that analyzes source code with a data-structure wildcard and suggests the right one.

analyzer c compiler data-structures haskell tex

Last synced: 21 Oct 2025

https://github.com/corsis/splice

A Haskell library that implements most efficient socket-to-socket data transfer loops for proxy servers on every operating system using and exposing related OS-specific system calls.

haskell library socket-io

Last synced: 09 Apr 2025