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-29 00:14:59 UTC
- JSON Representation
https://github.com/porges/azure-storage-hs
An experiment in Azure Storage access for Haskell
Last synced: 28 Mar 2025
https://github.com/alx741/stack.vim
Vim Haskell Stack compiler plugin [official]
Last synced: 04 Nov 2025
https://github.com/kabeech/real-dice
Random number generation based on physical media touched by humans
data dice haskell human-computer-interaction physical random random-generation random-number-generators rng
Last synced: 10 Apr 2025
https://github.com/lupino/yuntan-common
A common utils for haskell program.
Last synced: 10 Apr 2025
https://github.com/danieljharvey/advent-of-code-18
My terrible solutions
advent-of-code advent-of-code-2018 haskell haskell-learning
Last synced: 23 Jul 2025
https://github.com/yurrriq/effective-haskell
Working though 'Effective Haskell' by Rebecca Skinner
Last synced: 07 Jul 2025
https://github.com/hongfz16/fzlambda
Lambda Expression Evaluation and Type Check Implemented by Haskell
Last synced: 15 Sep 2025
https://github.com/mateuskoppe/lambdakalc
A Interpreter based on a ML language implementing Lambda Calculus
haskell interpreter lamda-calculus
Last synced: 17 Mar 2025
https://github.com/tchoutri/control-plane
My own personal Jesus^WControl Plane
haskell haskell-application scotty
Last synced: 09 Apr 2025
https://github.com/sondr3/scheme-hs
A Haskell implementation of R7RS Scheme
Last synced: 02 Mar 2025
https://github.com/koterpillar/appendmap
A Data.Map wrapper with a Monoid instance that delegates to the individual keys
containers data-structures haskell map monoid semigroup
Last synced: 10 Apr 2025
https://github.com/nicolasbrugneaux/functional-javascript
Inspired by Haskell Prelude module, some helper functions.
curry haskell haskell-prelude javascript lodash underscore
Last synced: 15 Sep 2025
https://github.com/spl/jhc-darcs
Read-only mirror of the jhc darcs repository
Last synced: 09 Apr 2025
https://github.com/deryeger/minicheck
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
cli ctl-formulas haskell haskell-application ltl-formulas model-checking transition-systems tu-wien
Last synced: 03 Apr 2025
https://github.com/prikhi/mx-state-codes
ISO 3166-2:MX State Codes and Names
Last synced: 09 Apr 2025
https://github.com/matthew-mosior/flood-fill-diagrams
A Haskell based implementation and visualization of a scanline stack based flood fill algorithm.
data-structures flood-fill-algorithm gif-animation haskell haskell-diagrams haskell-stack scanline-stack-fill st-monad starray svg-generator
Last synced: 23 Jun 2025
https://github.com/basvandijk/bindings-levmar
Low level Haskell bindings to the C levmar (Levenberg-Marquardt) library
Last synced: 23 Jun 2025
https://github.com/sternenseemann/emoji-generic
Haskell Emoji Library [WIP]
Last synced: 29 Dec 2025
https://github.com/axman6/curve25519
A Pure Haskell implementation of Curve25519
cryptography curve25519 haskell
Last synced: 28 Oct 2025
https://github.com/cdboer/programmierung-ss19
📝 Übungsmaterialien für die Lehrveranstaltung Programmierung im Sommersemester 2019
functional-programming haskell imperative-programming lambda-calculus logic-programming prolog tu-dresden
Last synced: 28 Mar 2025
https://github.com/yvan-sraka/hs-bindgen-attribute
Handy macro to generate C-FFI bindings from Rust to Haskell.
Last synced: 12 Dec 2025
https://github.com/thecentury/brickudoku
A terminal interface for Brickudoku
brick game haskell terminal-game tui vty
Last synced: 20 Mar 2025
https://github.com/turion/rhine-tutorial
A short presentation and tutorial app for the FRP framework Rhine (https://github.com/turion/rhine)
Last synced: 09 Apr 2025
https://github.com/mmzk1526/doc-jan-haskell
Solutions to Imperial College Department of Computing Haskell January Tests
functional-programming haskell ic
Last synced: 19 Oct 2025
https://github.com/dalpd/plumes-hs
A CLI tool to parse and plot simulation data exported from Visual Plumes
cli haskell parsing visual-plumes
Last synced: 04 Nov 2025
https://github.com/diekmann/isabelle-hello-world
Hello World in Isabelle, compiled to Haskell
functional-programming haskell isabelle-hol
Last synced: 04 Apr 2025
https://github.com/ecthiender/birdism
Application to help identify birds and more
bird bird-watching ebird haskell nature species wildlife
Last synced: 29 Oct 2025
https://github.com/incredibledevhq/incredible-dev-videos
Incredible dev videos is the repository to collaborate on dev videos posted on Incredible Devs official youtube channel https://www.youtube.com/channel/UCyyaPS9hiS3PvTn2Jz_g9SA .
dart elasticsearch graphql haskell java matlab rust shell-script tensorflow tutorials videos
Last synced: 30 Dec 2025
https://github.com/trskop/genbashrc
Haskell EDSL for generating .bashrc files.
Last synced: 02 Aug 2025
https://github.com/michalkonecny/mixed-types-num
Alternative to Haskell Prelude.Num, deriving types bottom-up
Last synced: 14 Apr 2025
https://github.com/btipling/machine-vm
A toy virtual machine written in Haskell
alu hardware-virtualization haskell virtual-machine vm
Last synced: 20 Mar 2025
https://github.com/vaclavsvejcar/svejcar-dev
🌐 Source code of personal website based on Hakyll
Last synced: 22 Jun 2025
https://github.com/sgeisbacher/zei-li
a cli for timeular zei --> zei(c)li written in haskell
Last synced: 15 Jun 2025
https://github.com/stevana/supervised-state-machines
An experimental implementation of Erlang/OTP's gen_server and supervisor behaviours that doesn't use lightweight threads and message passing.
haskell state-machine supervisor
Last synced: 02 Apr 2025
https://github.com/caneroj1/hauth
Experiments in jwt authentication in haskell
haskell jwt jwt-authentication
Last synced: 29 Mar 2025
https://github.com/lebrancworkshop/lebranc-learn-functional-programming
I'm learning a Functional Programming by learning its pure math concepts and apply it on functional language like Haskell, Clojure, Elixir, etc.
abstract-algebra category-theory clojure elixir fsharp functional-programming haskell homotopy-type-theory javascript lambda-calculus mathematics pure-mathematics racket scala theoretical-computer-science theory-of-computation type-theory typescript
Last synced: 13 May 2025
https://github.com/lucasplopes/uri
c competitive-programming cpp go hacktoberfest haskell java kotlin python sql uri
Last synced: 30 Dec 2025
https://github.com/okmttdhr/beauty-of-haskell
Short code snippets for the beauty of Haskell.
algorithms functional-programming haskell snippets
Last synced: 28 Mar 2025
https://github.com/foxbenjaminfox/musicd
Musicd—the music daemon
daemon haskell music music-player
Last synced: 16 Jun 2025
https://github.com/taktoa/language-boogie
A Git mirror of the language-boogie repository on BitBucket (https://bitbucket.org/nadiapolikarpova/boogaloo)
Last synced: 19 Jul 2025
https://github.com/spydr06/libgccjit-haskell
Safe Haskell bindings for the `libgccjit` library
cabal gcc gcc-complier gnu gpl gplv3 haskell haskell-language haskell-library libgcc libgccjit library
Last synced: 05 Mar 2025
https://github.com/hanzopgp/haskelltest
First time using functional programming language.
functional-programming haskell university
Last synced: 22 Jun 2025
https://github.com/vijayanant/tapl-hs
Working through the Language described in TAPL
Last synced: 22 Jun 2025
https://github.com/kevindasilvas/klang
Klang is a strongly typed, with type inference, imperative and immutable programming language that transpiles to js.
compiler compilers haskell javascript klang programming-language programming-languages transpiler
Last synced: 25 Aug 2025
https://github.com/prikhi/nand2tetris
Working Through Nand2Tetris Projects in Haskell
haskell nand2tetris nand2tetris-assignments nand2tetris-projects
Last synced: 06 Mar 2025
https://github.com/alhassy/design-patterns-higher-order
Notes & implementations of the code within Jeremy Gibbons' ``Design Patterns as Higher-Order Datatype-Generic Programs''; notably focus on multibranching trees and their BDS.
cheatsheet design-patterns haskell higher-order-functions java
Last synced: 24 Apr 2025
https://github.com/andrewmacmurray/simulator
Simulator to play back market trades
Last synced: 25 Aug 2025
https://github.com/prikhi/advent-of-code-2023
Advent of Code 2023 in Haskell
advent-of-code advent-of-code-2023 advent-of-code-2023-haskell haskell
Last synced: 06 Mar 2025
https://github.com/typeclasses/lazy-async
Asynchronous actions that don't start right away
concurrency haskell haskell-library
Last synced: 14 Apr 2025
https://github.com/hasufell/streamly-posix
Posix related streaming APIs (such as file reading/writing)
Last synced: 23 Mar 2025
https://github.com/sekunho/postgres-effectful
effectful bindings for postgresql
Last synced: 10 Jan 2026
https://github.com/meowgorithm/mr-env
A simple way to read environment variables in Haskell
Last synced: 24 Aug 2025
https://github.com/rudymatela/hello-haskell
Hello World! (in Haskell)
cabal example example-project haskell haskell-stack hello-world makefile sandbox stack
Last synced: 24 Aug 2025
https://github.com/darinm223/miniml
Code for Compiling with Continuations in Haskell
continuation-passing-style haskell miniml
Last synced: 10 Jan 2026
https://github.com/yveshauser/financial_contracts
Domain specific language for financial contracts
dsl finance financial-engineering haskell options-pricing
Last synced: 14 Oct 2025
https://github.com/matsubara0507/anaqram-server
Score Ranking Server for AnaQRam with Haskell Servant
elm haskell haskell-application haskell-servant
Last synced: 05 Oct 2025
https://github.com/mcfilib/dropcure
Toy project demonstrating WebSockets in Haskell
Last synced: 23 Aug 2025
https://github.com/eggzilla/taxonomy
Haskell cabal Taxonomy libary contains tools, parsers, datastructures and visualisation for the NCBI (National Center for Biotechnology Information) Taxonomy datasources.
bioinformatics datastructures haskell taxonomy visualisation
Last synced: 07 Apr 2025
https://github.com/scriptim/adventofcode2022
My solutions for the Advent Of Code 2022 challenge written in Haskell
advent-of-code advent-of-code-2022 advent-of-code-2022-haskell advent-of-code-haskell adventofcode adventofcode2022 coding-challenge haskell
Last synced: 13 May 2025
https://github.com/n04ln/infosecreport
⚔️ (maybe) More useful tool for L06(Information Security Lecture) by u-aizu 🛡
haskell prime-numbers rsa terrific-tatsumaki
Last synced: 23 Mar 2025
https://github.com/danieljharvey/gtk-time
Playing with gi-gtk-declarative
declarative-ui elm-architecture gtk haskell
Last synced: 14 Oct 2025
https://github.com/atticuskuhn/functiona_typescript_lib
functional-programming haskell typescript
Last synced: 07 Oct 2025
https://github.com/steshaw/language-swift2-quote
💫 Swift 2.1 parser and pretty-printer 🚧💔😢
Last synced: 25 Jul 2025
https://github.com/andreasabel/applicative
Haskell's applicative functors are multi-category functors
applicative-functors equational-reasoning haskell multi-functor
Last synced: 17 Aug 2025
https://github.com/573/static-haskell-cross-nix
Collection of articles / notes regarding cross compilation of static binaries (haskell) via nix
aarch64 cross-compile cross-platform haskell nix
Last synced: 01 Nov 2025
https://github.com/syocy/genpass
Command Line Tool to Generate/Check Passwords with Some Rules
command-line-tool haskell password-generator
Last synced: 29 Oct 2025
https://github.com/hercules-ci/haskell-releaser
Automation of Haskell package release process.
cli haskell release release-automation
Last synced: 14 Sep 2025
https://github.com/aionescu/uu-mpsv-gcl-verifier
GCL verification tool based on predicate transformers
haskell program-verification wlp z3
Last synced: 24 Mar 2025
https://github.com/sudha247/nptel-introduction-to-haskell-programming
All my code working through the course and exercises
Last synced: 15 Apr 2025
https://github.com/scriptim/adventofcode2023
My solutions for the Advent Of Code 2023 challenge written in Python and Haskell
advent-of-code advent-of-code-2023 advent-of-code-2023-haskell advent-of-code-2023-python adventofcode coding-challenges haskell python
Last synced: 13 May 2025
https://github.com/lupino/yuntan-article
The core source of huabot.com
haskell microservice microservices
Last synced: 15 Mar 2025
https://github.com/stla/elliptic
Elliptic integrals with complex arguments
elliptic-integrals haskell special-functions
Last synced: 31 Mar 2025
https://github.com/lupino/micro-gateway
A Micro service gateway.
gateway haskell microservice microservices
Last synced: 07 Oct 2025
https://github.com/hirotoshioi/scrapbox
Scrapbox parser and renderer
haskell markdown parser scrapbox
Last synced: 16 Mar 2025
https://github.com/typeclasses/happy-hour
Generate basic bar plot SVG files
bar-plots haskell haskell-library
Last synced: 21 Sep 2025
https://github.com/vrom911/common-stanzas-example
Example project to demonstrate the common stanzas feature
cabal common-stanzas dhall haskell haskell-examples
Last synced: 05 Jul 2025
https://github.com/edkolev/curry.vim
Helpers for writing Haskell in Vim, without any dependencies. (experimental)
Last synced: 21 Sep 2025
https://github.com/quytelda/babel
Random sequence generator written in Haskell.
cfg haskell language-model password-generator
Last synced: 08 Oct 2025
https://github.com/stickypiston/dabulang
A simple imperative programming language with a BASIC-inspired syntax
haskell interpreter megaparsec programming-language
Last synced: 01 Mar 2025
https://github.com/augustunderground/acid
Circus Clown
haskell hasktorch hindsight-experience-replay reinforcement-learning twin-delayed-policy-gradient
Last synced: 06 Mar 2025
https://github.com/airalab/railway-market-switch
Robonomics game: railway market switcher
Last synced: 29 Jul 2025
https://github.com/trskop/host-and-port
Data type and utilities for handling host name and port number pairs
haskell hostname network portnumber
Last synced: 28 Jan 2026