Similar repositories to liamoc/learn-you-an-agda:
liamoc/learn-you-an-agda
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
tootsuite/mastodon
github
similar
pixijs/pixi.js
github
similar
ReactTraining/react-router
github
similar
Eloston/ungoogled-chromium
github
similar
RobertHarper/hott-notes
github
similar
chriskempson/base16
github
similar
HoTT/HoTT-Agda
github
similar
tuvtran/project-based-learning
github
similar
idris-hackers/idris-mode
github
similar
hecrj/iced
github
similar
ziman/lightyear
github
similar
agda/agda-stdlib
github
similar
meilisearch/MeiliSearch
github
similar
sweirich/pi-forall
github
similar
w7cook/AoPL
github
similar
GaloisInc/ivory
github
similar
larrytheliquid/Lemmachine
github
similar
gionkunz/chartist-js
github
similar
UniMath/Foundations
github
similar
Gabriel439/Haskell-Morte-Library
github
similar
seliopou/typo
github
similar
idris-hackers/idris-crypto
github
similar
pigworker/MetaprogAgda
github
similar
discus-lang/ddc
github
similar
Eugeny/terminus
github
similar
aquynh/capstone
github
similar
idris-hackers/idris-demos
github
similar
ermine-language/ermine
github
similar
nick8325/quickspec
github
similar
ollef/Earley
github
similar
ekmett/trifecta
github
similar
copumpkin/categories
github
similar
edwinb/EpiVM
github
similar
jonsterling/JonPRL
github
similar
dlicata335/hott-agda
github
similar
ekmett/machines
github
similar
jstolarek/why-dependent-types-matter
github
similar