Pinned Repositories
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
abstract-machine-debuggers
aoc-rust
cabal-bug-package-db
cabal-build-tool-depends-solver-repro
CIPs
hsmods-logic
Datalog formalization of the Haskell module system
lambda-pi
nixos-config
michaelpj's Repositories
michaelpj/nixos-config
michaelpj/CIPs
michaelpj/aoc-rust
michaelpj/plutus
michaelpj/termsandtruthconditions
It's a blog
michaelpj/aeson
A fast Haskell JSON library
michaelpj/bluefin
michaelpj/cardano-api
Cardano API
michaelpj/cardano-haskell-package-repo
Metadata for Cardano's Haskell package repository
michaelpj/cardano-haskell-packages
Mirror of IntersectMBO/cardano-haskell-packages
michaelpj/cv
michaelpj/effectful
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
michaelpj/fourmolu
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
michaelpj/generic-lens
Generically derive traversals, lenses, and prisms.
michaelpj/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
michaelpj/haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
michaelpj/home-manager
Manage a user environment using Nix [maintainer=@rycee]
michaelpj/hs-opentelemetry
OpenTelemetry support for the Haskell programming language
michaelpj/language-server-protocol
Defines a common protocol for language servers.
michaelpj/lsp
Haskell library for the Microsoft Language Server Protocol
michaelpj/nixpkgs
Nix Packages collection
michaelpj/openobserve-flake
Flake to build the OpenObserve a service for metrics, logs and traces
michaelpj/ormolu
A formatter for Haskell source code
michaelpj/ouroboros-consensus
Implementation of a Consensus Layer for the Ouroboros family of protocols
michaelpj/plutus-cert
michaelpj/stackage
Stable Haskell package sets: vetted consistent packages from Hackage
michaelpj/stylish-haskell
Haskell code prettifier
michaelpj/summer-of-haskell
Source code of summer.haskell.org
michaelpj/tech-proposals
The Haskell Foundation Tech Proposal Process
michaelpj/vscode-languageserver-node
Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js