Michael Peyton Jones (michaelpj)

michaelpj

Geek Repo

Company:IOHK @input-output-hk

Location:London

Home Page:https://michaelpj.com

Twitter:@mpeytonjones

Github PK Tool:Github PK Tool

Michael Peyton Jones's repositories

byo-hackage

Bring Your Own Hackage - A template for personal Hackage repositories

Language:NixStargazers:0Issues:2Issues:0

cardano-ledger-specs

A formal specification and executable model of the ledger rules introduced by the Shelley release

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

cbor-discriminated-unions

Internet-Draft for registering CBOR tags for discriminated unions

Language:MakefileLicense:NOASSERTIONStargazers:0Issues:2Issues:0

co-log-core

🌽 Core types and functions that power the Haskell `co-log` implementation

Language:HaskellLicense:MPL-2.0Stargazers:0Issues:2Issues:0

doom-emacs

An Emacs framework for the stubborn martian hacker

Language:Emacs LispLicense:MITStargazers:0Issues:2Issues:0
Language:ShellStargazers:0Issues:3Issues:0

ekg-forward

EKG forwarding library

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

flat

Principled and efficient binary serialization

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

generics-sop

Generic Programming using True Sums of Products

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

hackage-db

provide access to the Hackage database via Data.Map

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

language-server-protocol

Defines a common protocol for language servers.

License:NOASSERTIONStargazers:0Issues:2Issues:0

lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

lsp-mode

Emacs client/library for the Language Server Protocol

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

niv

Easy dependency management for Nix projects

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:3Issues:0

old-ghc-nix

Old and New GHC

Language:NixStargazers:0Issues:2Issues:0

ops-lib

NixOps deployment configuration library for IOHK devops

Language:NixLicense:Apache-2.0Stargazers:0Issues:1Issues:0

ormolu

A formatter for Haskell source code

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

plutus-starter

A starter project for Plutus apps

License:Apache-2.0Stargazers:0Issues:2Issues:0

prezto

The configuration framework for Zsh

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

pure-zlib

A Haskell-only implementation of zlib / DEFLATE.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:HaskellLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:HaskellStargazers:0Issues:3Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs LispStargazers:0Issues:0Issues:0

vscode-languageserver-node

Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:2Issues:0

whiteglass

Minimal, responsive Jekyll theme for hackers

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

word-array

treat `Word`s like arrays of smaller `Word`s

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0