Similar repositories to xnning/GHC-Core-Literature-Review:
xnning/GHC-Core-Literature-Review
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
hecrj/iced
github
similar
RobertHarper/hott-notes
github
similar
parsonsmatt/rowdy
github
similar
aquynh/capstone
github
similar
tootsuite/mastodon
github
similar
plclub/cis670-16fa
github
similar
Lysxia/generic-recursion-schemes
github
similar
matt-noonan/justified-containers
github
similar
patrickt/fastsum
github
similar
adamgundry/type-inference
github
similar
sweirich/tal
github
similar
tuvtran/project-based-learning
github
similar
pixijs/pixi.js
github
similar
ReactTraining/react-router
github
similar
sjoerdvisscher/one-liner
github
similar
mkloczko/derive-storable
github
similar
ezyang/thesis
github
similar
evertedsphere/sound-and-complete
github
similar
david-christiansen/epigram1
github
similar
jozefg/higher-order-unification
github
similar
snowleopard/hadrian
github
similar
RyanGlScott/ghc-software-foundations
github
similar
ndmitchell/hexml
github
similar
vincenthz/hs-gauge
github
similar
gallais/generic-syntax
github
similar
ucsd-progsys/mist
github
similar
sheyll/type-spec
github
similar
bobatkey/system-f-parametricity-model
github
similar
jpaykin/LNLHaskell
github
similar
svenkeidel/sturdy
github
similar
sweirich/corespec
github
similar
gelisam/n-ary-functor
github
similar
int-index/ether
github
similar
myuon/ghc-compiler-notes
github
similar
nomeata/veggies
github
similar
andgate/type-theory-compiler
github
similar
plclub/lngen
github
similar