Similar repositories to andrejbauer/eff:
andrejbauer/eff
github
similar
ul-fmf/projekt-tomo
github
similar
ul-fmf/nadlogar
github
similar
peterlefanulumsdaine/general-type-theories
github
similar
slim-template/emacs-slim
github
similar
kerneis/cpc
github
similar
effect-handlers/effects-rosetta-stone
github
similar
simhu/cubical
github
similar
ocaml/RFCs
github
similar
tuminoid/gitlab-installer
github
similar
stephenrkell/liballocs
github
similar
l3kn/org-fc
github
similar
Andromedans/andromeda
github
similar
samrushing/irken-compiler
github
similar
Gabriel439/Haskell-Optparse-Generic-Library
github
similar
ekmett/quine
github
similar
brownplt/flapjax
github
similar
ekmett/guanxi
github
similar
agraef/pure-lang
github
similar
slim-template/vim-slim
github
similar
miniKanren/miniKanren
github
similar
LogtalkDotOrg/logtalk3
github
similar
cdepillabout/termonad
github
similar
EgbertRijke/HoTT-Intro
github
similar
jyp/dante
github
similar
HoTT/HoTT-Agda
github
similar
minad/marginalia
github
similar
yallop/effects-bibliography
github
similar
oantolin/embark
github
similar
matijapretnar/eff
github
similar
mortberg/cubicaltt
github
similar
UniMath/UniMath
github
similar
michaelt/martin-lof
github
similar
nex3/perspective-el
github
similar
urweb/urweb
github
similar
Mercury-Language/mercury
github
similar
brownplt/pyret-lang
github
similar
socketry/nio4r
github
similar
ring-lang/ring
github
similar
chrisdone/intero
github
similar