🇬🇧 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

chrisdone/intero

sdiehl/kaleidoscope

Haskell LLVM JIT Compiler Tutorial

kowainik/learn4haskell

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

ndmitchell/shake

Shake build system

snowleopard/alga

Algebraic graphs

kowainik/summoner

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

ndmitchell/hoogle

Haskell API search engine

kowainik/relude

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

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

DimaSamoz/mezzo

A Haskell library for typesafe music composition

simonmar/parconc-examples

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

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/vado

A demo web browser engine written in Haskell

chrisdone/z

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

callum-oakley/gotta-go-fast

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

frank-lang/frank

chrisdone/lucid

Clear to write, read and edit DSL for writing HTML

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.

chrisdone/tryhaskell

smallhadroncollider/cmt

Write consistent git commit messages based on a custom template

alpacaaa/quad-ci

A CI server written in Simple Haskell.

bollu/cellularAutomata

a collection of cellular automata written in Haskell with Diagrams

passy/android-lint-summary

Prettier display of Android Lint issues

sdiehl/tinyjit

jdnavarro/graphql-haskell

Haskell GraphQL implementation

ocharles/zero-to-quake-3

Implementing Quake 3 in Haskell & Vulkan

ocharles/weeder

A re-implementation of weeder using HIE files

bollu/tiny-optimising-compiler

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

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

circuithub/rel8

Hey! Hey! Can u rel8?

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

yaxu/feedforward

ndmitchell/record-dot-preprocessor

A preprocessor for a Haskell record syntax using dot

ix/calico

cat, but for colors 😼

simonmar/monad-par

ndmitchell/weeder

Detect dead exports or package imports

kowainik/tomland

🏝 Bidirectional TOML serialization

elisehuard/game-in-haskell

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

awalterschulze/category-theory-for-programmers-challenges

Challenges from Category Theory for Programmers

MedeaMelana/Magic

Haskell implementation of Magic: The Gathering

ilya-klyuchnikov/lambdapi

Dependently Typed Lambda Calculus in Haskell

OscarSouth/theHarmonicAlgorithm

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

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/spaceleak

Notes on space leaks

ndmitchell/rattle

Forward build system with speculation and caching

JustusAdam/mustache

Haskell implementation of mustache templates

dorchard/effect-monad

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

volhovm/orgstat

Statistics visualizer for org-mode

kowainik/typerep-map

⚡️Efficient implementation of Map with types as keys

ocharles/netwire-classics

Classic games recreated in netwire

JustusAdam/language-haskell

Highlighting support for the Haskell language in visual studio code.

jspahrsummers/ObjectiveHaskell

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

lazamar/haskell-docs-cli

Browse Hackage from the terminal

ymherklotz/verismith

Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.

jcpetruzza/barbies

paul-rouse/mysql-simple

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

ndmitchell/extra

Extra Haskell functions

ndmitchell/build-shootout

Comparison of build program expressive power

ndmitchell/cmdargs

Haskell library for command line argument processing

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

ocharles/what-it-do

Automatically trace all (showable) binds in do expressions

danielwaterworth/siege

[DEPRECATED] A DBMS written in Haskell