Pinned Repositories
500-sql-haskell
A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
apply-refact
Refactor Haskell source files
eventlog2html
Visualise eventlog events as a static webpage
ghc-artefact-nix
Create environments with GHC HEAD artefacts
gitlab-triage
haskell-nix-plugin
Plugin scaffolding for nixpkgs
hie-lsif
hs-speedscope
icfp2015-papers
Accepted papers for ICFP 2015
rg-map
Make a map of all georeferenced maps on routegadget
mpickering's Repositories
mpickering/apply-refact
Refactor Haskell source files
mpickering/eventlog2html
Visualise eventlog events as a static webpage
mpickering/hs-speedscope
mpickering/blog
mpickering/mpickering.github.io
mpickering/staged-mtl
mpickering/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
mpickering/HasChor
Functional choreographic programming in Haskell
mpickering/monad-dsl
Free monad using PHOAS
mpickering/staged-tc
mpickering/build-systems
Understanding build systems
mpickering/cabal
Official upstream development repository for Cabal and cabal-install
mpickering/core-libraries-committee
mpickering/dap
Debug Adaptor Protocol (DAP) implementation
mpickering/directory
Platform-independent library for basic file system operations
mpickering/fix-whitespace
Fixes whitespace issues
mpickering/ghcup-hs
mpickering/ghcup-metadata
GHCup metadata repository
mpickering/haskell-filesystem
Contains the system-filepath and system-fileio packages
mpickering/large-records
Library to support efficient compilation of large records (linear in the number of record fields)
mpickering/legendary-spoon
ghci optimised core performance testing
mpickering/nixpkgs
Nix Packages collection
mpickering/pandoc
Universal markup converter
mpickering/private-dependencies-model
A model of cabal's solver and private dependencies
mpickering/routegadget
Routegadget UK website
mpickering/scaling-train
Quadratic performance in demand analysis
mpickering/shake-rg
Simple implementation of map-of-maps using shake
mpickering/solid-eureka
mpickering/speedscope
🔬 A fast, interactive web-based viewer for performance profiles.
mpickering/t25064