Giters
Michael Peyton Jones (michaelpj)

michaelpj

Geek Repo

232

followers

1

following

42

stars

Company:IOHK @input-output-hk

Location:London

Home Page:https://michaelpj.com

Twitter:@mpeytonjones

Github PK Tool:Github PK Tool

Michael Peyton Jones's starred repositories

ansible

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to cloud management, in a language that approaches plain English, using SSH, with no agents to install on remote systems. https://docs.ansible.com.

Language:PythonLicense:GPL-3.0Stargazers:61117Issues:1918Issues:32194

bazel

a fast, scalable, multi-language and extensible build system

Language:JavaLicense:Apache-2.0Stargazers:22309Issues:606Issues:13053

doomemacs

An Emacs framework for the stubborn martian hacker

Language:Emacs LispLicense:MITStargazers:18533Issues:237Issues:4340

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Language:JavaLicense:BSD-3-ClauseStargazers:16364Issues:374Issues:2255

nixpkgs

Nix Packages collection & NixOS

Language:NixLicense:MITStargazers:15650Issues:276Issues:37305

scala

Scala 2 compiler and standard library. Bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

Language:ScalaLicense:Apache-2.0Stargazers:14274Issues:722Issues:0

prezto

The configuration framework for Zsh

Language:ShellLicense:MITStargazers:13785Issues:214Issues:1044

nix

Nix, the purely functional package manager

Language:C++License:LGPL-2.1Stargazers:10879Issues:122Issues:5774

metrics

:chart_with_upwards_trend: Capturing JVM- and application-level metrics. So you know what's going on.

Language:JavaLicense:Apache-2.0Stargazers:7802Issues:372Issues:653

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Language:HaskellLicense:Apache-2.0Stargazers:2571Issues:52Issues:2095

nixos-hardware

A collection of NixOS modules covering hardware quirks.

Language:NixLicense:CC0-1.0Stargazers:1548Issues:69Issues:216

plutus

The Plutus language implementation and tools

Language:HaskellLicense:Apache-2.0Stargazers:1472Issues:109Issues:948

StarRuler2-Source

4X Space Strategy game Star Ruler 2's open source distribution.

Language:CLicense:NOASSERTIONStargazers:1444Issues:105Issues:61

hnix

A Haskell re-implementation of the Nix expression language

Language:NixLicense:BSD-3-ClauseStargazers:728Issues:35Issues:498

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:PythonStargazers:671Issues:131Issues:84

whiteglass

Minimal, responsive Jekyll theme for hackers

Language:HTMLLicense:MITStargazers:669Issues:14Issues:29

ghcide

A library for building Haskell IDE tooling

Language:HaskellLicense:Apache-2.0Stargazers:588Issues:37Issues:1

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Language:NixLicense:Apache-2.0Stargazers:524Issues:22Issues:875

rfcs

The Nix community RFCs

License:CC-BY-SA-4.0Stargazers:488Issues:133Issues:0

scala

Typelevel Scala, a fork of Scala

Language:ScalaStargazers:372Issues:44Issues:126

lsp

Haskell library for the Microsoft Language Server Protocol

Language:HaskellStargazers:354Issues:16Issues:181

plutus-apps

The Plutus application platform

Language:HaskellLicense:Apache-2.0Stargazers:304Issues:40Issues:292

lsp-haskell

lsp-mode :heart: haskell

Language:Emacs LispLicense:GPL-3.0Stargazers:225Issues:16Issues:107

patdiff

File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/

Language:OCamlLicense:MITStargazers:222Issues:9Issues:17

vim-plugin-minibufexpl

Elegant buffer explorer - takes very little screen space

Language:Vim ScriptStargazers:99Issues:11Issues:40

feedback

Declarative feedback loop manager

Language:HaskellLicense:GPL-3.0Stargazers:60Issues:4Issues:14

vim-paren-crosshairs

[Abandoned -- see below]

Language:Vim ScriptLicense:WTFPLStargazers:48Issues:5Issues:3

chapelure

Chapelure is a diagnostic library for Haskell

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

ermine-parser

Parser combinator library in Scala

Language:ScalaLicense:NOASSERTIONStargazers:20Issues:13Issues:2

unlit

Tool to convert literate code between styles or to code.

Language:HTMLLicense:BSD-3-ClauseStargazers:10Issues:0Issues:0