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

Language:JavaScriptLicense:CC-BY-4.0Stargazers:5Issues:2Issues:0
Language:RustLicense:MITStargazers:1Issues:2Issues:0
Language:HaskellLicense:Apache-2.0Stargazers:1Issues:3Issues:0

aeson

A fast Haskell JSON library

License:NOASSERTIONStargazers:0Issues:0Issues:0

cardano-api

Cardano API

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

cardano-base

Code used throughout the Cardano eco-system

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

cardano-haskell-package-repo

Metadata for Cardano's Haskell package repository

Language:ShellStargazers:0Issues:2Issues:0

cardano-haskell-packages

Mirror of IntersectMBO/cardano-haskell-packages

Stargazers:0Issues:0Issues:0

cardano-node

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

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

generic-lens

Generically derive traversals, lenses, and prisms.

Stargazers:0Issues:0Issues:0

haskell-language-server

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

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

hlint

Haskell source code suggestions

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

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Language:NixLicense:MITStargazers:0Issues:2Issues:0

hydra-poc

Proof of concept for the Hydra Head protocol :construction_worker:

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

language-server-protocol

Defines a common protocol for language servers.

License:NOASSERTIONStargazers:0Issues:2Issues:0

lsp

Haskell library for the Microsoft Language Server Protocol

Language:HaskellStargazers:0Issues:2Issues:0

lsp-haskell

lsp-mode :heart: haskell

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

ouroboros-consensus

Implementation of a Consensus Layer for the Ouroboros family of protocols

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:CoqStargazers:0Issues:1Issues:0

pvp

Haskell Package Version Policy (PVP)

Language:CSSStargazers:0Issues:1Issues:0

stackage

Stable Haskell package sets: vetted consistent packages from Hackage

Language:DockerfileLicense:MITStargazers:0Issues:1Issues:0

stylish-haskell

Haskell code prettifier

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

summer-of-haskell

Source code of summer.haskell.org

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

tasty

Modern and extensible testing framework for Haskell

Language:HaskellStargazers:0Issues:1Issues:0

tech-proposals

The Haskell Foundation Tech Proposal Process

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:NixStargazers:0Issues:3Issues: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