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-28 00:15:39 UTC
- JSON Representation
https://github.com/mryndzionek/hasscan
OpenCV document scanner in Haskell
document-scanner-app document-scanning haskell opencv opencv3
Last synced: 09 Aug 2025
https://github.com/fabiannorbertoescobar/prolog-haskell-ejercicios
Ejercicios sencillos de Programacion Lógica y Programación Funcional en los lenguajes Prolog y Haskell, realizados en Programación Avanzada para conocer otros paradigmas
functional-programming ghci haskell logic-programming prolog swi-prolog
Last synced: 11 Apr 2025
https://github.com/robrix/distribution
Probability distributions à la Deriving a Probability Density Calculator by Wazim Mohammed Ismail & Chung-chieh Shan http://homes.soic.indiana.edu/ccshan/rational/pearl.pdf
haskell library probabilistic-programming
Last synced: 05 Apr 2025
https://github.com/webcpu/haskellswift
A functional library for Swift programmers
functional-programming haskell swift
Last synced: 02 Mar 2025
https://github.com/neilkleistgao/sftd
Script for the Director: A Simple Language for dialogues, backpack system and other general data features in 2D RPG games
game-development haskell scripting-language
Last synced: 04 Apr 2025
https://github.com/l29ah/llama-cpp-haskell
Haskell bindings for the llama.cpp llama-server
Last synced: 07 Jul 2025
https://github.com/athanclark/follow-file
follow a file - being notified with what's appended.
Last synced: 15 Jul 2025
https://github.com/plapadoo/matrix-gitlab-bot
Listen for gitlab events (commits, issues, ...) and post them to matrix.org rooms
automation bot gitlab haskell http matrix riot-web
Last synced: 03 Apr 2025
https://github.com/abhiroop/provenance
Bottom up dynamic programming in Haskell
Last synced: 18 Mar 2025
https://github.com/kadena-io/txg
Chainweb Transaction Generator
blockchain chainweb haskell kadena
Last synced: 18 Jun 2025
https://github.com/crocidb/ush
USH is a simple static HTTP Server written in Haskell, mostly for study purposes. It's created after the CodeCrafters HTTP Server challenge.
codecrafters haskell http-server webserver
Last synced: 02 Jan 2026
https://github.com/drapegnik/rsschool-fp
:zap: Functional Programming Course
church-encoding fp functional-programming haskell lambda-calculus rolling-scopes-school
Last synced: 05 Apr 2025
https://github.com/aneeshdurg/lambda
A simple lambda calculus interpreter
haskell interpreter lambda-calculus parsec
Last synced: 22 Mar 2025
https://github.com/turbomack/unix-recursive
Fast and flexible primitives for recursive file system IO on Posix systems
Last synced: 20 Jan 2026
https://github.com/ibnaleem/haskell-simplified
The open curriculum for learning functional programming in Haskell
functional-programming haskell haskell-book haskell-exercises haskell-language haskell-learning haskell-tutorial learnyouahaskell theodinproject
Last synced: 02 Apr 2025
https://github.com/willfaught/thesis
Master's thesis
haskell language-theory ml scheme thesis
Last synced: 05 May 2025
https://github.com/bratergit/1000wondersprogrammingcourselist
Web resource to learn computer science or just refresh
hacktoberfest hacktoberfest-accepted hacktoberfest2022 haskell java javascript learning lisp programming-language python ruby
Last synced: 30 Dec 2025
https://github.com/rightfold/prependotron
A list-like data structure with fast prepend and cache-friendly fold.
Last synced: 06 Sep 2025
https://github.com/storopoli/advent-of-code
Advent of Code Solutions
advent-of-code haskell rust zig
Last synced: 12 May 2025
https://github.com/g-r-a-n-t/haskell-playground
Exploration of math topics.
declarative functional haskell math
Last synced: 03 Apr 2025
https://github.com/kris701/vshaskelltools
A project to enable syntax highlighting, execution and light debugging of Haskell programs
Last synced: 19 Oct 2025
https://github.com/kajizukataichi/pravda
A functional programming language that best of both worlds between Haskell and Lisp
dynamic-typing functional functional-paradigm functional-programming functional-programming-language haskell interpreter lambda-functions lisp new-language partial-application pattern-matching programming programming-language programming-languages pure recursion rust s-expressions
Last synced: 31 Oct 2025
https://github.com/takenobu-hs/haskell-numeric-highlight
Syntax highlight for numeric literals of Haskell/GHC
ghc haskell syntax-highlighting
Last synced: 19 Dec 2025
https://github.com/deepxx86/deepx-lang
My own programming language
haskell own-language programming-language
Last synced: 28 Jul 2025
https://github.com/xieyuschen/openai-api
[WIP] A haskell library provides out-of-box methods to interact with openai.
chatgpt chatgpt-api gpt-3 haskell haskell-library openai-api
Last synced: 27 Mar 2025
https://github.com/mrkkrp/haskell-docker
A generic docker image for Haskell (CircleCI, etc.)
Last synced: 20 Jul 2025
https://github.com/alx741/kaldi-gstreamer-server-haskell-client
kaldi-gstreamer-server haskell client
client gstreamer haskell kaldi
Last synced: 04 Nov 2025
https://github.com/siriuscourses/lazy-cache
Caches IO action by relying on GHC RTS implementation
Last synced: 29 Oct 2025
https://github.com/jaalonso/exercitium2013
Ejercicios de programación funcional con Haskell (Curso 2013-14)
functional-programming haskell haskell-exercises
Last synced: 27 Mar 2025
https://github.com/jaalonso/exercitium2018
Ejercicios de programación funcional con Haskell (Curso 2018-19)
haskell haskell-exercises haskell-learning
Last synced: 27 Mar 2025
https://github.com/gregorias/ignore-flakes
A command envelope that masks flakes.
Last synced: 14 Mar 2025
https://github.com/imalsogreg/workerbee
Demo Servant application for Haskell DC
Last synced: 28 Mar 2025
https://github.com/carstenkoenig/dockerdemo
Demonstrates using Docker-Compose with Nginx, PostgreSQL and a simple Todo Web-App written in Haskell and Elm
docker docker-compose elm haskell nginx todoapp
Last synced: 28 Oct 2025
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/quytelda/babel
Random sequence generator written in Haskell.
cfg haskell language-model password-generator
Last synced: 08 Oct 2025
https://github.com/unorsk/hiss2
A CLI for learning words and tracking progress
Last synced: 02 Sep 2025
https://github.com/tristancacqueray/simple-dear-imgui
A minimalist game engine
Last synced: 31 Mar 2025
https://github.com/thumphries/evernote-thrift
Evernote Haskell bindings generated by Apache Thrift
Last synced: 15 Mar 2025
https://github.com/shal/odd-even-mergesort
:balance_scale: Blazing fast Batcher's sort algorithm
functional-programming haskell parallelism sorting
Last synced: 31 Mar 2025
https://github.com/aiya000/haskell_de_groupstructure
Haskellでわかる群論の代数的構造 (gitbook)
algebra algebraic-data-types gitbook haskell
Last synced: 15 Mar 2025
https://github.com/vmchale/lzlib
lzlib bindings for Haskell
compression ffi ffi-bindings haskell haskell-library lzlib lzlib-bindings
Last synced: 15 Apr 2025
https://github.com/ccntrq/starter-snake-haskell
A Haskell Battlesnake starter
Last synced: 27 Dec 2025
https://github.com/flipstone/orb
A Haskell web framework based on Shrubbery and Wai
Last synced: 19 Jun 2025
https://github.com/lebrancworkshop/learn-haskell-from-youtube
Learn Haskell from many great resources on Youtube.
category-theory functional-programming haskell lambda-calculus self-study type-theory youtube
Last synced: 31 Mar 2025
https://github.com/neu-rah/algo
symbolic math / computer algebra experiments
algebra haskell math symbolic symbolic-computation
Last synced: 07 Apr 2025
https://github.com/athanclark/timemap
A map structure for UTCTime-indexed entities
Last synced: 30 Jun 2025