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