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.
Repositories (1240)
Category theory applied to functional programming (undergraduate project)
Superscalar RISC-V processor written in Clash.
Smart contracts and specification of the AMM protocol on top of the Cardano blockchain
IDE support for the functional logic programming language Curry
A library for stateful property-based testing
My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.
Interactive Keepass database TUI viewer
Basel Haskell Compiler - A next-generation Haskell compiler and runtime for 2026
A functional web framework
a tech demo for a bullet hell game. for the full game visit https://gilmi.me/nyx
Web front UI for interactive Haskell projects
A native gtk sudoku game written in haskell
:smiley: A functional reactive programming (FRP) demo created with PureScript events and behaviors.
A Conflict-Free Replicated JSON Datatype for Haskell
🍥 Haskell向けLINE Messaging API SDK
A Haskell framework that facilitates writing ABCI applications
Crazy figures and animations with Haskell
Provides the region monad for safely opening and working with scarce resources
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Simple plain text ZettelKasten system for terminal users
Haskell implementation of the Edinburgh Logical Framework
Opinionated Haskell Interoperability
List manipulation library inspired by Haskell package Data.List
Neural Networks and Deep Learning
The symbolic links manager for your configuration files
20CYS312 - Principles of Programming Languages - 6th Sem - B.E. CSE(CYS) - ASC, CBE
:outbox_tray: Automatically re-export Haskell modules.
A solver for the Rummikub board game
A functional scripting language compiling to pure Lambda Calculus
Exercises for course "Principles of Programming Languages" @ Polimi '23, '24, '25
Purely-functional, coordinate-free linear algebra
A lightweight product recommendation system (Item Based Collaborative Filtering) developed in Haskell.
Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
Exemplary fullstack Medium.com clone powered by Servant and Beam
Property based testing tool for Swagger APIs
Flappy Bird Haskell Implementation
Template Haskell Implementation of Egison Pattern Matching
Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
A general-purpose type theory and proof checker generator.
Experimental Smart Contracts In Plutus.
Free ideas, worth every penny
Course materials for Stanford's CS43: Functional Programming Paradigms
📦 Custom Setup to automate package modules discovery
:star: Useful resources for the Frege programming language
Fast haskell chess move generator library and console UCI frontend
Operad Programming Language in Haskell, by David Darais
Official mining software for the Kadena Public Blockchain.
A monad, perhaps.