Similar repositories to ezyang/thesis:
ezyang/thesis
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
ReactTraining/react-router
github
similar
aquynh/capstone
github
similar
tootsuite/mastodon
github
similar
postalhq/postal
github
similar
hecrj/iced
github
similar
tuvtran/project-based-learning
github
similar
RobertHarper/hott-notes
github
similar
danidiaz/streamy
github
similar
ekmett/lens-action
github
similar
ezyang/backpack-examples
github
similar
jonsterling/sml-pronominal-ml
github
similar
domchristie/turndown
github
similar
Eloston/ungoogled-chromium
github
similar
hanxiao/bert-as-service
github
similar
goldfirere/effects
github
similar
jonsterling/agda-zipper-machine
github
similar
ezyang/ghc-proposals
github
similar
kosmikus/records-sop
github
similar
GaloisInc/cryptol-semantics
github
similar
sdiehl/paris-fp
github
similar
Icelandjack/deriving-via
github
similar
ezyang/backpack-regex-example
github
similar
nfrisby/tcplugins-zurihac2020
github
similar
haskellari/lattices
github
similar
haskell-backpack/backpack-str
github
similar
xnning/GHC-Core-Literature-Review
github
similar
acertain/trufflestg
github
similar
dfinity-side-projects/winter
github
similar
llvm-hs/llvm-hs-typed
github
similar
hsyl20/ghc-api-compat
github
similar
jonsterling/agda-effectful-forcing
github
similar
twanvl/ttie
github
similar
hsyl20/ghc-studio
github
similar
fsestini/tt-in-cubical
github
similar
osa1/StrictCore
github
similar
rossberg/mixml
github
similar
ranjitjhala/haddock-annot
github
similar