Michael Peyton Jones's repositories
byo-hackage
Bring Your Own Hackage - A template for personal Hackage repositories
cardano-ledger-specs
A formal specification and executable model of the ledger rules introduced by the Shelley release
cbor-discriminated-unions
Internet-Draft for registering CBOR tags for discriminated unions
co-log-core
🌽 Core types and functions that power the Haskell `co-log` implementation
doom-emacs
An Emacs framework for the stubborn martian hacker
ekg-forward
EKG forwarding library
generics-sop
Generic Programming using True Sums of Products
hackage-db
provide access to the Hackage database via Data.Map
language-server-protocol
Defines a common protocol for language servers.
old-ghc-nix
Old and New GHC
plutus-starter
A starter project for Plutus apps
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
vscode-languageserver-node
Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js
whiteglass
Minimal, responsive Jekyll theme for hackers
word-array
treat `Word`s like arrays of smaller `Word`s