Similar repositories to nitrogl/strathbeamer:
nitrogl/strathbeamer
github
similar
danistefanovic/build-your-own-x
github
similar
fredrikNordvallForsberg/CS410-20
github
similar
andreasabel/proposal-agda-tutorial
github
similar
mattpolzin/ncurses-idris
github
similar
pigworker/Gigs-Summer-2018
github
similar
laMudri/generic-lr
github
similar
jespercockx/agda2scheme
github
similar
jaked/ooauth
github
similar
wenkokke/idris-sesh
github
similar
sweirich/lennart-lambda
github
similar
Z-snails/Idris2-Grin
github
similar
jyp/prettiest
github
similar
andreasabel/strong-normalization
github
similar
pigworker/ProgrammerCommaCon
github
similar
metaborg/linear.agda
github
similar
mr-ohman/logrel-mltt
github
similar
alexhumphreys/idrall
github
similar
oisdk/agda-ring-solver
github
similar
jespercockx/ataca
github
similar
david-christiansen/epigram1
github
similar
Saizan/miller
github
similar
REditorSupport/vscode-r-lsp
github
similar
Jackchows/Cangjie5
github
similar
bobatkey/sott
github
similar
wenkokke/schmitty
github
similar
DeepSpec/dsss17
github
similar
david-christiansen/idris-type-providers
github
similar
eric-wood/excel2latex
github
similar
pigworker/MetaprogAgda
github
similar
ilya-klyuchnikov/ttlite
github
similar
ekmett/bound
github
similar
rime/rime-luna-pinyin
github
similar
jiangzc/CuteTranslation
github
similar
timjb/quantities
github
similar
fanx-dev/fanx
github
similar
Witiko/markdown
github
similar
stedolan/counterexamples
github
similar
QuickChick/QuickChick
github
similar
frank-lang/frank
github
similar