Skip to content
View mpickering's full-sized avatar
  • Well Typed LLP
  • Sheffield, UK

Block or report mpickering

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Insert late cost centres

Haskell 3 2 Updated Feb 2, 2022

Build system

Haskell 131 11 Updated Oct 24, 2025

Fast, persistent, succinct integer sets.

Haskell 1 Updated Dec 31, 2020

Divide without division

Haskell 20 2 Updated Aug 9, 2025

An implementation of the staged Strymonas streams library in Agda for C

Haskell 8 1 Updated Jul 22, 2020

Staged Streams and other stuff

Haskell 19 1 Updated Jul 10, 2022
Haskell 1 Updated May 12, 2020

A repository of MetaOCaml packages

13 2 Updated May 16, 2025

Generalization of the reflex collection functions

Haskell 6 Updated Oct 5, 2018

A framework for building fine-grained reactive datatypes

Haskell 4 Updated Mar 24, 2020

Exploring the options for incremental Haskell builds using Nix

Haskell 108 5 Updated Nov 28, 2022
Haskell 4 1 Updated May 13, 2020
Haskell 2 Updated Jul 23, 2019

Generates a references DB from .hie files

Haskell 68 28 Updated Jul 28, 2025

Moved to Haskell.org GitLab.

Haskell 61 10 Updated May 20, 2025

The greatest hits of https://gist.github.com/RyanGlScott

Haskell 11 Updated Jan 15, 2023

miniAdapton in Haskell

Haskell 8 Updated May 10, 2019

nh2's Haskell TODO / wish list for Open Source tasks to improve Haskell

6 Updated Apr 27, 2019

Cached Haskell IDE Engine Nix builds for all GHC versions

Nix 192 15 Updated Feb 13, 2021

multi-stage relational programming for staged relational interpreters: running with holes, faster

Racket 138 16 Updated Nov 29, 2025

Docker image for lwt.sf.net

PHP 3 2 Updated Jun 14, 2018

Standard module for type-level programming in Haskell

Haskell 31 Updated Jul 1, 2019

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's GitLab instance (https://gitlab.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskel…

Haskell 3 Updated Mar 25, 2021

Utility tools for LSIF development

TypeScript 11 4 Updated Jul 19, 2019

NIX + YAML for easy to use reproducible environments

Python 74 3 Updated Nov 13, 2023

The engine for haskell ide-integration. Not an IDE

Haskell 2,369 204 Updated Dec 23, 2020

scriptable strace

Haskell 124 24 Updated Jul 22, 2020

Easy dependency management for Nix projects

Haskell 1,790 77 Updated Mar 2, 2025

Nix packages for Haskell IDE Engine

Nix 113 17 Updated May 14, 2019

Fork of haskell package linux-ptrace, updated for ghc 7.8

Haskell 1 1 Updated Feb 24, 2019
Next