8000 mpickering (Matthew Pickering) / Starred · GitHub

More Web Proxy on the site http://driver.im/

mpickering

Follow

Matthew Pickering mpickering

Follow

272 followers · 17 following

Well Typed LLP
Sheffield, UK

Achievements

Achievements

Stars

AndreasPK / late-cc-plugin

Insert late cost centres

Haskell 3 2 Updated Feb 2, 2022

ollef / rock

Build system

Haskell 124 9 Updated Oct 14, 2023

bgamari / intset

Forked from pxqr/intset

Fast, persistent, succinct integer sets.

Haskell 1 Updated Dec 31, 2020

Bodigrim / quote-quot

Divide without division

Haskell 16 1 Updated Oct 14, 2024

jmlowenthal / staged-streams.agda

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

Haskell 8 1 Updated Jul 22, 2020

phadej / staged

Staged Streams and other stuff

Haskell 18 1 Updated Jul 10, 2022

fendor / ghcide-bad-interface-files

Haskell 1 Updated May 12, 2020

metaocaml / metaocaml-opam

A repository of MetaOCaml packages

13 2 Updated May 16, 2025

adamConnerSax / reflex-collections

Generalization of the reflex collection functions

Haskell 6 Updated Oct 5, 2018

LightAndLight / reactive-data

A framework for building fine-grained reactive datatypes

Haskell 4 Updated Mar 24, 2020

matthewbauer / ghc-nix

Exploring the options for incremental Haskell builds using Nix

Haskell 106 4 Updated Nov 28, 2022

kosmikus / template-sop

Haskell 4 1 Updated May 13, 2020

wz1000 / cabal-helper-helper

Haskell 2 Updated Jul 23, 2019

wz1000 / HieDb

Generates a references DB from .hie files

Haskell 67 26 Updated Jun 17, 2025

bgamari / ghc-debug

Moved to Haskell.org GitLab.

Haskell 61 10 Updated May 20, 2025

RyanGlScott / gists

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

Haskell 11 Updated Jan 15, 2023

LightAndLight / mini-adapton

miniAdapton in Haskell

Haskell 8 Updated May 10, 2019

nh2 / haskell-todos

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

6 Updated Apr 27, 2019

infinisil / all-hies

Cached Haskell IDE Engine Nix builds for all GHC versions

Nix 192 15 Updated Feb 13, 2021

namin / staged-miniKanren

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

Racket 132 16 Updated Jun 19, 2025

ryanfb / lwt-docker

Forked from BrianHicks/lwt-docker

Docker image for lwt.sf.net

PHP 3 2 Updated Jun 14, 2018

kcsongor / typelevel-prelude

Standard module for type-level programming in Haskell

Haskell 31 Updated Jul 1, 2019

kcsongor / ghc

Forked from ghc/ghc

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

jumattos / lsif-util

Utility tools for LSIF development

TypeScript 11 4 Updated Jul 19, 2019

luispedro / nixml

NIX + YAML for easy to use reproducible environments

Python 75 3 Updated Nov 13, 2023

haskell / haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

Haskell 2,370 206 Updated Dec 23, 2020

nh2 / hatrace

scriptable strace

Haskell 123 24 Updated Jul 22, 2020

nmattia / niv

Easy dependency management for Nix projects

Haskell 1,728 78 Updated Mar 2, 2025

domenkozar / hie-nix

Nix packages for Haskell IDE Engine

Nix 115 17 Updated May 14, 2019

nh2 / linux-ptrace

Forked from GaloisInc/linux-ptrace

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

Haskell 1 1 Updated Feb 24, 2019

0