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 (1224)
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Category theory applied to functional programming (undergraduate project)
Simple plain text ZettelKasten system for terminal users
List manipulation library inspired by Haskell package Data.List
The symbolic links manager for your configuration files
20CYS312 - Principles of Programming Languages - 6th Sem - B.E. CSE(CYS) - ASC, CBE
A library for stateful property-based testing
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.
Provides the region monad for safely opening and working with scarce resources
Free ideas, worth every penny
Course materials for Stanford's CS43: Functional Programming Paradigms
📦 Custom Setup to automate package modules discovery
Operad Programming Language in Haskell, by David Darais
Official mining software for the Kadena Public Blockchain.
Opinionated Haskell Interoperability
Neural Networks and Deep Learning
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
My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.
A monad, perhaps.
An implementation of Flatris using Haskell and Miso
🎒 Backpack interface for containers
Slack Web and RTM API
Some info that supposed to help to understand PureScript from Haskell perspective
Personal NixOS configuration
An implementation of the flatbuffers protocol in Haskell.
Simplify usage of nix dependencies during haskell development
Full stack Haskell, Japanese learning app
Haskell domain modeling playground
:star: Useful resources for the Frege programming language
Stunts 4D Driving with 8086 CPU and DOS emulation in Haskell
open union and open product types in Haskell
Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system
Types and Programming Languages (TAPL)
:outbox_tray: Automatically re-export Haskell modules.
Automation of Haskell package release process.
Haskell SDK for the LINE APIs
Haskell graphs and networks library
Comparison of similar functions across Elm, Javascript, and Haskell