Michael Peyton Jones (michaelpj)

Michael Peyton Jones

michaelpj

User data from Github https://github.com/michaelpj

Company:IOHK @input-output-hk

Location:London

Home Page:https://michaelpj.com

Twitter:@mpeytonjones

Github PK Tool:Github PK Tool

Michael Peyton Jones's Most Used Languages
Michael Peyton Jones's GitHub Stats

Michael Peyton Jones's repositories

haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

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

lsp

Haskell library for the Microsoft Language Server Protocol

License:MITStargazers:0Forks:0Issues:0
Language:HaskellLicense:Apache-2.0Stargazers:1Forks:1Issues:0
License:CC-BY-4.0Stargazers:2Forks:0Issues:0
Language:NixStargazers:25Forks:2Issues:0
Language:NixStargazers:0Forks:0Issues:1
Language:Vim scriptStargazers:0Forks:0Issues:0

doom-emacs

An Emacs framework for the stubborn martian hacker

License:MITStargazers:0Forks:0Issues:0

language-server-protocol

Defines a common protocol for language servers.

License:NOASSERTIONStargazers:0Forks:0Issues:0

vscode-languageserver-node

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

License:NOASSERTIONStargazers:0Forks:0Issues:0

lsp-haskell

lsp-mode :heart: haskell

License:GPL-3.0Stargazers:0Forks:0Issues:0

lens

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

License:NOASSERTIONStargazers:0Forks:0Issues:0

pure-zlib

A Haskell-only implementation of zlib / DEFLATE.

License:BSD-3-ClauseStargazers:0Forks:0Issues:0

hydra-poc

Proof of concept for the Hydra Head protocol :construction_worker:

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

cardano-ledger-specs

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

License:Apache-2.0Stargazers:0Forks:0Issues:0
License:NOASSERTIONStargazers:0Forks:0Issues:0

lsp-mode

Emacs client/library for the Language Server Protocol

License:GPL-3.0Stargazers:0Forks:0Issues:0

spacemacs

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

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

flat

Principled and efficient binary serialization

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

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

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

hlint

Haskell source code suggestions

License:BSD-3-ClauseStargazers:0Forks:0Issues:0

prezto

The configuration framework for Zsh

Language:ShellLicense:MITStargazers:0Forks:0Issues:0
Language:TeXStargazers:0Forks:0Issues:0

ops-lib

NixOps deployment configuration library for IOHK devops

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

word-array

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

License:MITStargazers:0Forks:0Issues:0

old-ghc-nix

Old and New GHC

Stargazers:0Forks:0Issues:0

plutus-starter

A starter project for Plutus apps

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

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Forks:0Issues:0

generics-sop

Generic Programming using True Sums of Products

License:BSD-3-ClauseStargazers:0Forks:0Issues:0