Similar repositories to tetrapharmakon/isbell-frames:

• tootsuite/mastodon github similar
• tetrapharmakon/isbell-frames github similar
• yforster/coq-synthetic-computability github similar
• alexarice/Midpoint github similar
• NickHu/homotopy-io github similar
• cutsea110/magma github similar
• awodey/ritop github similar
• homotopy-io/homotopy-core github similar
• ncatlab/nlab-core github similar
• jonsterling/effectful-typesetting github similar
• jmchapman/categories github similar
• emilypi/lens-process github similar
• yigitozkavci/glow github similar
• CoqHott/coq-effects github similar
• kcsmnt0/proof-trees github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• Vierkantor/refinement-parsers github similar
• RichardMoot/Grail0 github similar
• andrejbauer/dependent-type-theory-syntax github similar
• cj-xu/PC19 github similar
• nulvinge/Linear-Abstract-Machine github similar
• jules-hedges/synthetic-probability github similar
• anjapetkovic/type-theory-slovene-dictionary github similar
• maxsnew/grammars-and-semantic-actions github similar
• maxsnew/virtual-equipments github similar
• jcreedcmu/lambda-maps github similar
• jonsterling/topos-theory-notes github similar
• andreasabel/proposal-agda-tutorial github similar
• UniMath/largecatmodules github similar
• georgejkaye/lamviz github similar
• punkdit/categories github similar
• mvr/at github similar
• niccoloveltri/final-pfin github similar
• nachivpn/nbe-stlc github similar
• jules-hedges/open-games github similar
• jmchapman/restriction-categories github similar
• m-yac/agda-knots github similar
• jonsterling/agda-synthetic-domain-theory github similar
• FFaissole/Valuations github similar
• iblech/scheme-theory-in-agda github similar