🇬🇧 Made in United Kingdom

Discover United Kingdom's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of United Kingdom.

sdiehl/write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

krispo/awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

sdiehl/wiwinwlh

What I Wish I Knew When Learning Haskell

smallhadroncollider/taskell

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

ndmitchell/hlint

Haskell source code suggestions

ndmitchell/ghcid

Very low feature GHCi based IDE

sdiehl/kaleidoscope

Haskell LLVM JIT Compiler Tutorial

chrisdone/intero

kowainik/learn4haskell

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

ndmitchell/shake

Shake build system

snowleopard/alga

Algebraic graphs

kowainik/relude

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

kowainik/summoner

🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects

ndmitchell/hoogle

Haskell API search engine

kowainik/stan

🕵️ Haskell STatic ANalyser

alpacaaa/zero-bs-haskell

Learn Haskell, with tiny lessons.

sdiehl/bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

chrisdone/hell

Haskell-based shell scripting language

chrisdone/jl

Functional sed for JSON

kcsongor/generic-lens

Generically derive traversals, lenses, and prisms.

smallhadroncollider/brok

Find broken links in text documents

simonmar/parconc-examples

Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"

DimaSamoz/mezzo

A Haskell library for typesafe music composition

chris-taylor/aima-haskell

Algorithms from AIMA in Haskell

simonmar/async

Run IO operations asynchronously and wait for their results

adept/full-fledged-hledger

Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports

willtim/Expresso

A simple expressions language with polymorphic extensible row types.

chrisdone/lucid

Clear to write, read and edit DSL for writing HTML

chrisdone/vado

A demo web browser engine written in Haskell

chrisdone/z

A strict, impure, curried, partially applied programming language with rather peculiar syntax.

frank-lang/frank

callum-oakley/gotta-go-fast

A command line utility for practicing typing and measuring your WPM and accuracy.

lazamar/nix-package-versions

Search for old versions of Nix packages

ndmitchell/tagsoup

Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents

nstack/nstack

Type-safe, composable microservices for data analytics

passy/givegif

GIFs on the command line

simonmar/par-tutorial

A tutorial on Parallel and Concurrent Haskell

snowleopard/hadrian

Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!

chrisdone/duet

A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell

chrisdone/dynamic

Dynamic typing in Haskell

lenary/idris-erlang

Erlang Backend for Idris Compiler

barrucadu/dejafu

Systematic concurrency testing meets Haskell.

alpacaaa/quad-ci

A CI server written in Simple Haskell.

chrisdone/tryhaskell

smallhadroncollider/cmt

Write consistent git commit messages based on a custom template

sdiehl/tinyjit

bollu/cellularAutomata

a collection of cellular automata written in Haskell with Diagrams

passy/android-lint-summary

Prettier display of Android Lint issues

jdnavarro/graphql-haskell

Haskell GraphQL implementation

ocharles/weeder

A re-implementation of weeder using HIE files

ocharles/zero-to-quake-3

Implementing Quake 3 in Haskell & Vulkan

bollu/tiny-optimising-compiler

A tiny *optimising* compiler for an imperative programming language written in haskell

circuithub/rel8

Hey! Hey! Can u rel8?

chshersh/iris

🌈 Haskell CLI Framework supporting Command Line Interface Guidelines

ocharles/engine.io

A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols

mpickering/apply-refact

Refactor Haskell source files

silky/awesome-open-science

some links to projects/tools related to "open science".

chrisdone/hulk

Haskell IRC daemon.

bgavran/Compositional_Deep_Learning

Deep learning via category theory and functional programming

ocharles/micro-ci

A tiny CI server built around GitHub and Nix

kowainik/cake-slayer

🍰🔪 Architecture of Haskell backend applications

ndmitchell/bake

UNMAINTAINED: Continuous integration server

ndmitchell/record-dot-preprocessor

A preprocessor for a Haskell record syntax using dot

yaxu/feedforward

ix/calico

cat, but for colors 😼

ndmitchell/weeder

Detect dead exports or package imports

simonmar/monad-par

kowainik/tomland

🏝 Bidirectional TOML serialization

elisehuard/game-in-haskell

awalterschulze/category-theory-for-programmers-challenges

Challenges from Category Theory for Programmers

krisajenkins/elm-export

Create Elm types and JSON decoders from Haskell source.

diffusionkinetics/open

DiffusionKinetics open-source monorepo

msp-strath/TypOS

being an operating system for typechecking processes

OscarSouth/theHarmonicAlgorithm

The Harmonic Algorithm by Oscar South - A Project Spanning Music Analysis, Functional Programming & Machine Learning

MedeaMelana/Magic

Haskell implementation of Magic: The Gathering

ilya-klyuchnikov/lambdapi

Dependently Typed Lambda Calculus in Haskell

sdiehl/repline

Haskeline wrapper for GHCi-like REPL interfaces

KMahoney/squee

A Typed, Composable Database Query Language

commandodev/oHm

Om with Haskell in it

smallhadroncollider/ascii-runner

An infinite runner in your terminal

ndmitchell/rattle

Forward build system with speculation and caching

ndmitchell/spaceleak

Notes on space leaks

kowainik/typerep-map

⚡️Efficient implementation of Map with types as keys

JustusAdam/mustache

Haskell implementation of mustache templates

volhovm/orgstat

Statistics visualizer for org-mode

dorchard/effect-monad

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

nandor/hcraft

Haskell clone of a certain game

ocharles/netwire-classics

Classic games recreated in netwire

JustusAdam/language-haskell

Highlighting support for the Haskell language in visual studio code.

ndmitchell/extra

Extra Haskell functions

jspahrsummers/ObjectiveHaskell

Tools for making it easier to integrate Haskell and Objective-C.

jcpetruzza/barbies

ndmitchell/cmdargs

Haskell library for command line argument processing

paul-rouse/mysql-simple

A mid-level client library for the MySQL database, intended to be fast and easy to use.

lazamar/haskell-docs-cli

Browse Hackage from the terminal

ndmitchell/build-shootout

Comparison of build program expressive power

chris-taylor/Classical-Mechanics

Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.

rumblesan/improviz

DEPRECATED: A live-coded visual performance tool

danielwaterworth/siege

[DEPRECATED] A DBMS written in Haskell

ocharles/what-it-do

Automatically trace all (showable) binds in do expressions