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-02-01 00:10:35 UTC
- JSON Representation
https://github.com/haskell-hvr/haskell2020
Haskell 2020[draft] Standard Library
Last synced: 15 Mar 2025
https://github.com/stla/jsondirtreer
Dynamic linker for the R package dir2json
Last synced: 31 Mar 2025
https://github.com/nikita-volkov/theatre-dev
Minimalistic actor library experiments
Last synced: 15 Mar 2025
https://github.com/taktoa/qdoc2psn
Generate purescript-native bindings from a QDoc XML file. (WIP)
bindings cpp haskell purescript purescript-native qt
Last synced: 15 Mar 2025
https://github.com/taktoa/pegc
A parser generator, similar to BNFC, that takes a parsing expression grammar and outputs PEGTL C++ for it. (WIP)
Last synced: 15 Mar 2025
https://github.com/taktoa/tsloganalyzer
Analyzes TeamSpeak 3 server logs
haskell log-analysis teamspeak3
Last synced: 15 Mar 2025
https://github.com/taktoa/cisexplorer
A Haskell API for the Course Information System of UIUC (WIP)
Last synced: 15 Mar 2025
https://github.com/abdulaziz-hassan/cpu-cache-system_haskell
A successful implementation of a simplified CPU cache system in Haskell and takes advantage of the Functional Programming Paradigm
functional-programming haskell
Last synced: 14 Mar 2025
https://github.com/petertseng/adventofcode-hs-2019
Solutions to https://adventofcode.com/2019 (all but day 25, unlikely to add day 25 due to lack of interest)
advent-of-code advent-of-code-2019 haskell
Last synced: 02 Mar 2025
https://github.com/athanclark/wai-middleware-content-type
Route to different middlewares based on the incoming Accept header detected.
haskell haskell-warp http-server middleware mime-types
Last synced: 15 Nov 2025
https://github.com/damianfral/plotdsl
An experiment to play with the free monad and build a DSL for plotting.
Last synced: 08 Apr 2025
https://github.com/alunduil/network-uri-json
FromJSON and ToJSON Instances for Network.URI
haskell haskell-library json network-uri uri
Last synced: 05 Jul 2025
https://github.com/jiriklepl/c-with-hindley-milner-type-system
This is the repo containing my work on my Bachelor Thesis for Faculty of Mathematics and Physics, Charles University
bachelor-project bachelor-thesis c compiler haskell mff-uk
Last synced: 27 Mar 2025
https://github.com/pmiddend/serpens
A little game featuring a serpens navigating obstacles
Last synced: 23 Mar 2025
https://github.com/axect/fp-lecture
2018 Functional Programming Lecture in Yonsei Univ
elm functional-programming haskell julia
Last synced: 24 Mar 2025
https://github.com/lupino/yuntan-user
A simple user service
haskell haskell-library microservice microservices
Last synced: 15 Mar 2025
https://github.com/pmiddend/smartincludes
Sort your C++ include lists like a boss!
cplusplus haskell pretty-print
Last synced: 23 Mar 2025
https://github.com/pzuehlke/hutton
Contains solutions to all of the exercises in and some scripts related to the book: Hutton, G. — Programming in Haskell (2nd ed.)
exercises-solutions functional-programming graham-hutton haskell programming-in-haskell pure-functional
Last synced: 16 Mar 2025
https://github.com/epicallan/mini-vinyl
A minimal re-implementation of vinyl for study purposes
Last synced: 12 Jul 2025
https://github.com/aljones15/simplepathfinding
implementing simple path finding algorithms in Haskell
haskell ncurses nix searching-algorithms
Last synced: 22 Feb 2025
https://github.com/jezen/yesod-stubbing-example
An example of stubbing I/O in Yesod.
Last synced: 22 Feb 2025
https://github.com/mallozup/codespot
:dog: find hotspot on git fs codebase with haskell. :dog:
Last synced: 30 Mar 2025
https://github.com/darinm223/tiger2
Modern Compiler Implementation in Haskell
compiler haskell mips tiger tiger-compiler tiger-language
Last synced: 11 Jun 2025
https://github.com/typeclasses/supply-next
Supply-chain interface for basic streaming
haskell haskell-library streaming
Last synced: 27 Mar 2025
https://github.com/vyorkin/fun
A small functional language that I'm implementing while reading the Write You a Haskell book.
Last synced: 10 Mar 2025
https://github.com/0xvpr/c2-haskell
A C2 interface built with Haskell.
c2 command-and-control haskell network server socket-io
Last synced: 22 Feb 2025
https://github.com/mmzk1526/haskell-tfl-status
A simple TfL tube status checker
functional-programming haskell
Last synced: 14 Dec 2025
https://github.com/m4lvin/dining-benchmark
🍽️ 🔐 Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.
benchmark dining-cryptographers haskell model-checking verification
Last synced: 24 Mar 2025
https://github.com/ssoudan/hschess
A minimax-based chess AI with a GUI in FRP.
chess haskell minimax reactive-programming
Last synced: 22 Feb 2025
https://github.com/mmzk1526/mmzk-ri
A supplementary collection of functions for real-life Haskell programming
Last synced: 14 Dec 2025
https://github.com/abhiroop/blockingqueue
A distributed blocking queue written using Erlang style processes and messaging passing concurrency in Cloud Haskell.
concurrency distributed-systems erlang haskell
Last synced: 18 Mar 2025
https://github.com/juanfkurucz/lenguajes-de-programacion
Subject "Lenguajes de Programacion" (Programming languages) from Universidad Catolica del Uruguay
c haskell javascript prolog ruby
Last synced: 24 Mar 2025
https://github.com/abhiroop/pearls
Pearls of Functional Algorithmic Design
algorithm data-structures haskell
Last synced: 18 Mar 2025
https://github.com/palash25/project-euler-solutions
Nothing to see here; had forgotten to make lots of such repos public years ago
haskell mathematics project-euler
Last synced: 18 Mar 2025
https://github.com/meinside/hpffp
My solutions to the problems/exercises of the book 'Haskell Programming From First Principles'
Last synced: 11 Jun 2025
https://github.com/kigsmtua/eagle
TCP and http based load balancer done in haskell
haskell haskell-learning load-balancer proxy
Last synced: 01 Apr 2025
https://github.com/egebilecen/twitch-bot-haskell
Twitch Bot written in Haskell.
Last synced: 30 Mar 2025
https://github.com/aionescu/boros
Functional language for self-modifying programs
first-class-comments haskell interpreter langjam language
Last synced: 24 Mar 2025
https://github.com/borisskert/advent-of-code-2021
This is my code repository for Advent of Code 2021.
advent-of-code advent-of-code-2021 advent-of-code-haskell adventofcode adventofcode2021 haskell
Last synced: 17 Mar 2025
https://github.com/ailrun/lambdifies
Lambdifies VM
haskell language ski-calculus ski-combinators virtual-machine vm
Last synced: 12 Jun 2025
https://github.com/akin-mustapha/prime
A prime number library
ess haskell haskell-exercises haskell-learning haskell-learning-journal haskell-library prime-numbers programming-language sieve-of-eratosthe-nes
Last synced: 12 Oct 2025
https://github.com/codacy/codacy-hadolint
Codacy Docker container for Hadolint tool
badge codacy docker dockerfile hadolint haskell review scala
Last synced: 23 Apr 2025
https://github.com/vapourismo/binary-io
Read and write values of types that implement Binary from and to Handles
data haskell haskell-library io parsing
Last synced: 28 Mar 2025
https://github.com/johnkun136nvcp/my-project-euler
Solving problems of Project Euler in Haskell (if it's possible)
cplusplus cpp euler haskell project-euler
Last synced: 09 Apr 2025
https://github.com/joelburget/symmetric-properties
`Same` / `Unique` monoidal witnesses
Last synced: 25 Mar 2025
https://github.com/rodrigosetti/functional-programming-exercises
Haskell implementation of the exercises from the Book "Functional Programming in Scala (Chiusano, Bjarnason)"
funcional-programming haskell scala
Last synced: 09 Oct 2025
https://github.com/garciat/java-type-classes
Haskell-like type class resolution for Java.
Last synced: 14 Jan 2026
https://github.com/remusao/haskell-goggle
Brave Search Goggle to rerank results and boost content related to the Haskell programming language.
Last synced: 09 Apr 2025
https://github.com/julianazambon/programmingparadigms
Learn advanced object-oriented programming, starting from basic concepts and moving on to advanced techniques that will allow you to develop an application using cutting-edge technologies. Learn the basic concepts of functionalist programming.
Last synced: 28 Feb 2025
https://github.com/trskop/follow-tail
Haskell implementation of "tail -f" as a library.
Last synced: 08 Jul 2025
https://github.com/chris-martin/fizzbuzz-as-a-service
FizzBuzz as a service
fizzbuzz haskell haskell-library server
Last synced: 08 Sep 2025
https://github.com/opqdonut/adventofcode24
Advent of Code 2024 in Haskell
adventofcode adventofcode2024 haskell
Last synced: 25 Mar 2025
https://github.com/cdepillabout/recursion-schemes-two
A small repository for playing around with recursion-schemes.
Last synced: 05 Sep 2025
https://github.com/mareksuchanek/hcm
Conceptual modeling support library for Haskell
concepts development haskell modeling software-engineering validation verification visualization
Last synced: 13 Jun 2025
https://github.com/takenobu-hs/haskell-binary-example
Haskell example of binary manipulation
Last synced: 15 Jun 2025
https://github.com/wtanaka/ansible-role-happy
Ansible role to install Happy, the Parser Generator for Haskell
ansible ansible-galaxy ansible-role ansible-roles galaxy happy haskell parser parser-generator parsing
Last synced: 13 Jun 2025
https://github.com/rieselhilfe/sofunlang
An Interpreter for my language "Sofun" (Stack-Oriented FUNctional programming language) written in haskell. Now with a basic type system.
esoteric-language functional-programming haskell interpreter programming-language repl sofun stack-based
Last synced: 21 Feb 2025
https://github.com/miguelemosreverte/unisonexamples
Unison examples for begginners by begginners!
haskell programming scala unison unison-language
Last synced: 20 Feb 2025
https://github.com/xieyuschen/sub-magazines
Subscribe magazines published on Github and send it to my Kindle
haskell kindle magazine subscription
Last synced: 27 Mar 2025
https://github.com/sandydoo/mullvadconfigs
Generate Wireguard™ configurations for Mullvad.
Last synced: 03 Apr 2025
https://github.com/kacperfkorban/vscodehaskellsnippets
A Few useful VS Code snippets for Haskell.
haskell snippet snippet-pack snippets snippets-collection visual-studio-code vsc vscode vscode-snippets
Last synced: 05 Sep 2025
https://github.com/grctest/grc-haskell
MISC Gridcoin Haskell scripts
aison analysis bash blockchain gridcoin haskell jq scalpel sequences sequential-blocks turtle
Last synced: 13 Jun 2025
https://github.com/almayor/correct-me
A small service for uploading proposed message formulations, and suggesting alternative versions.
Last synced: 09 Apr 2025
https://github.com/atticuskuhn/typescript-lens
lens library in typescript
fp functional-programming haskell lens
Last synced: 12 Apr 2025
https://github.com/gnumonik/placket
Placket is terminal application that runs a small scripting language for generating, modifying, and and sending raw network packets.
educational-project haskell networking
Last synced: 16 Mar 2025
https://github.com/ajeetdsouza/bbfs
A passthrough FUSE filesystem written in Haskell
Last synced: 08 Jul 2025
https://github.com/cpscript/ecdh
A chat client made in HASKELL that uses the "Elliptic Curve Diffie-Hellman (ECDH) key exchange protocol" to establish a secure connection between two users. This is a one file script that includes a server and a user client and allows multiple users to message secrets using SHA-256 and AES-256 for encription and decryption.
chat-application chat-client ecdh encrpytion haskell http-encrypt
Last synced: 19 Jun 2025
https://github.com/MichaelMackus/hsrisk
Risk game implemented in Haskell
board-game game haskell risk strategy turn-based-strategy
Last synced: 11 Mar 2025
https://github.com/rickie/project-euler
Some solutions of Project Euler assignments
Last synced: 31 Mar 2025
https://github.com/michalspano/func-prog
My take on Functional Programming.
clojure functional-programming haskell personal
Last synced: 11 Mar 2025
https://github.com/tbidne/pythia
A library and executable for retrieving system information.
Last synced: 06 Sep 2025
https://github.com/memowe/aoc2023
My advent of code 2023 solutions
advent-of-code aoc2023 functional-programming haskell
Last synced: 22 Apr 2025
https://github.com/pmikolajczyk41/all-sorts-of-permutations
IHaskell presentation of All Sorts Of Permutation paper
functional-pearls haskell ihaskell monads
Last synced: 10 Jun 2025
https://github.com/mxrnx/verified-lenses
Mathematically verified lenses for agda2hs
agda agda2hs haskell tudelft-cse-research-project
Last synced: 01 Mar 2025
https://github.com/vapourismo/vscode-hindent
HIndent formatter for Visual Studio Code
Last synced: 22 Feb 2025
https://github.com/stickypiston/hs-lisp
Lisp interpreter in Haskell, because I wanted to learn parser combinators
Last synced: 01 Mar 2025
https://github.com/wtanaka/ansible-role-ghc
Ansible role to install ghc
ansible ansible-galaxy ansible-role ansible-roles compiler compilers development galaxy ghc ghci glasgow haskell
Last synced: 16 Mar 2025
https://github.com/brayevalerien/aoc-2024
My solutions to Advent of Code 2024, solved in various languages such as Python, V or Haskell. Note: due to time constraints I'm a bit late, but expect more solutions to come soon!
advent-of-code advent-of-code-2024 aoc aoc-2024 haskell python
Last synced: 28 Apr 2025
