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/cabal-doctest-demo
Demo of using external commands to implement `cabal doctest`
mpickering/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
mpickering/binary-shared
mpickering/cabal
Official upstream development repository for Cabal and cabal-install
mpickering/cautious-octo-spoon
mpickering/core-libraries-committee
mpickering/directory
Platform-independent library for basic file system operations
mpickering/friendly-succotash
mpickering/ghc-events
Library and tool for parsing .eventlog files from GHC
mpickering/ghcup-hs
mpickering/ghcup-metadata
GHCup metadata repository
mpickering/hackage-security
Hackage security framework based on TUF (The Update Framework)
mpickering/HasChor
Functional choreographic programming in Haskell
mpickering/haskell-filesystem
Contains the system-filepath and system-fileio packages
mpickering/haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
mpickering/karttapullautin
A fast and accurate map generator from classified LiDAR data.
mpickering/large-records
Library to support efficient compilation of large records (linear in the number of record fields)
mpickering/nixpkgs
Nix Packages collection
mpickering/os-string
mpickering/pandoc
Universal markup converter
mpickering/routegadget
Routegadget UK website
mpickering/scaling-train
Quadratic performance in demand analysis
mpickering/solid-eureka
mpickering/speedscope
🔬 A fast, interactive web-based viewer for performance profiles.
mpickering/t25064