Similar repositories to nomeata/ghc-proofs:
nomeata/ghc-proofs
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
nomeata/veggies
github
similar
RobertHarper/hott-notes
github
similar
lspitzner/exference
github
similar
fpco/weigh
github
similar
hecrj/iced
github
similar
tootsuite/mastodon
github
similar
well-typed/generics-sop
github
similar
sweirich/tal
github
similar
nomeata/ghc-justdoit
github
similar
nomeata/inspection-testing
github
similar
ezyang/compact
github
similar
michaelt/streaming
github
similar
snowleopard/hadrian
github
similar
jwiegley/coq-haskell
github
similar
vincenthz/hs-gauge
github
similar
ReactTraining/react-router
github
similar
imeckler/mote
github
similar
jozefg/higher-order-unification
github
similar
adamgundry/type-inference
github
similar
kcsongor/generic-lens
github
similar
nick8325/quickspec
github
similar
def-/ghc-vis
github
similar
fumieval/witherable
github
similar
ekmett/bound
github
similar
haskellari/tree-diff
github
similar
judah/pier
github
similar
valis/hoq
github
similar
goldfirere/singletons
github
similar
obsidiansystems/dependent-map
github
similar
osa1/StrictCore
github
similar
isovector/type-errors
github
similar
well-typed/cborg
github
similar
evertedsphere/sound-and-complete
github
similar
turingjump/bookkeeper
github
similar
ekmett/coda
github
similar
sol/tinc
github
similar
ucsd-progsys/elsa
github
similar