Edsko de Vries's repositories
ghc-tcplugin-api
An interface for GHC type-checking plugins
quic
IETF QUIC library in Haskell
trajans
Generate skeletons for text set in Trajan capitals
max-handpan
Max for Live Handpan Instrument for the Ableton Push 2
hs-memory
haskell memory
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
minirust
A precise specification for "Rust lite / MIR plus"
marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
servant-jsonrpc
Tools to build JSON-RPC clients and servers the Servant way
quickcheck-dynamic
A library for stateful property-based testing
linear-base
Standard library for linear types in Haskell.
quickcheck-state-machine
Test monadic programs using state machine based models
marlowe-cardano
Marlowe smart contract language Cardano implementation
obelisk-dice
Simple Obelisk project that provides two dices, one that runs in the frontend and one that runs in the backend
ChinesePodAPI
Haskell bindings against the ChinesePod API
ghc-dump-tree
Dump GHC's abstract syntax trees
ghc-timings-report
Experimental tool to build reports on GHC build time for your projects.
linear-generics
Support for linearly-typed generics in Haskell
haskell-src-meta
Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
purescript-maxforlive
PureScript bindings for Max for Live
stylish-haskell
Haskell code prettifier
ghcide
A library for building Haskell IDE tooling
eventlog2html
Visualise eventlog events as a static webpage
haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.