bgamari

bgamari

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
77 Stars
15 Forks
31 Watchers

🏆 Show off this rank

bgamari on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (2)

ghc-dump bgamari/ghc-dump Haskell

A GHC plugin and library for analysing GHC Core

55
the-thoralf-plugin bgamari/the-thoralf-plugin Haskell

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

22