Similar repositories to MonoidalAttackTrees/attack-trees-in-monoidal-cats:

• MonoidalAttackTrees/attack-trees-in-monoidal-cats github similar
• dysinger/khartes github similar
• ppedrot/coq-forcing github similar
• runarorama/runarorama.github.com github similar
• exercism/coq github similar
• ynot-harvard/ynot github similar
• heades/System-F-Coq github similar
• idris-hackers/eff-tutorial github similar
• puffnfresh/atsboot github similar
• ericfinster/orchard github similar
• plum-umd/cgc github similar
• RobertHarper/hott-notes github similar
• tonymorris/parametricity github similar
• puffnfresh/tryidris github similar
• david-christiansen/IdrisSqlite github similar
• b-mehta/topos github similar
• PatrickMassot/lean-verbose github similar
• LightAndLight/sized-hkts github similar
• david-christiansen/idris-quickcheck github similar
• jstolarek/why-dependent-types-matter github similar
• Saizan/miller github similar
• atzeus/reflectionwithoutremorse github similar
• idris-hackers/idris-llvm github similar
• slindley/effect-handlers github similar
• tel/serv github similar
• edwinb/Protocols github similar
• eskimor/purescript-bridge github similar
• lspitzner/exference github similar
• gasche/popl2017-papers github similar
• jonleivent/mindless-coding github similar
• Soostone/hadron github similar
• jgm/highlighting-kate github similar
• effect-handlers/effects-rosetta-stone github similar
• snowleopard/alga-paper github similar
• zrho/purescript-optic-ui github similar
• ghcformacosx/ghc-dot-app github similar
• brunjlar/neural github similar
• KesterTong/idris2048 github similar
• bamboo/idris-cil github similar
• puffnfresh/iridium github similar