Michael Peyton Jones (@michaelpj)
github

michaelpj

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    91
  • Global Rank 222,433 (Top 8 %)
  • Followers 235
  • Following 1
  • Registered over 12 years ago
  • Most used languages
    Haskell
         66.7 %
    Rust
         8.3 %
    Shell
         8.3 %
    Python
         8.3 %
    Nix
         8.3 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 10,516
  • Country Ranking
    Haskell
         163
    Nix
         212
    Shell
         443
    Rust
         2,152

Top repositories

1

nixos-config

Shell
59
star
2

abstract-machine-debuggers

Haskell
12
star
3

hsmods-logic

Datalog formalization of the Haskell module system
Haskell
4
star
4

lambda-pi

Haskell
2
star
5

aoc-rust

Rust
1
star
6

schemehs

Write Yourself a Scheme in 48 Hours
Haskell
1
star
7

datalog

Haskell
1
star
8

cabal-build-tool-depends-solver-repro

Haskell
1
star
9

caching-calculus

Haskell
1
star
10

sphinxcontrib-haddock

Tools for using Haddock with Sphinx
Python
1
star
11

cabal-bug-package-db

Haskell
1
star
12

termsandtruthconditions

It's a blog
Nix
1
star