Matthías Páll Gissurarson's repositories
writ-plugin
A type-checker plugin for weak runtime-irrelevant typing in Haskell
ecta-plugin
A hole-fit plugin using ECTAs
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
device-benchmarks
Benchmarks of different devices I have come across
easycrypt-docker
A Docker image with EasyCrypt, Z3, Alt-Ergo, and Emacs with Proof-General and Doom Emacs preinstalled :D
ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
JavaToJSON
Parses a list of Java files to JSON
m20-fifth
M20 Fifth (Adamantine Edition) as a markdown
matplotlib-haskell
Haskell bindings for Python's Matplotlib