Similar repositories to pigworker/Totality:

• pigworker/Totality github similar
• RobertHarper/hott-notes github similar
• danistefanovic/build-your-own-x github similar
• jonsterling/agda-effectful-forcing github similar
• gibiansky/IHaskell github similar
• pixijs/pixi.js github similar
• ralsei/six-eyes github similar
• tootsuite/mastodon github similar
• aquynh/capstone github similar
• Eloston/ungoogled-chromium github similar
• effectfully/Eff github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• AndrasKovacs/misc-stuff github similar
• effectfully/Cubes github similar
• agda/ooAgda github similar
• asajeffrey/finite-dtypes github similar
• bobatkey/system-f-parametricity-model github similar
• pbl64k/gpif-idris github similar
• ezyang/lr-agda github similar
• CoqHott/coq-effects github similar
• TOTBWF/muprl github similar
• matthesjh/coq-tal github similar
• msp-strath/ZEUG github similar
• bitonic/tog github similar
• gallais/typing-with-leftovers github similar
• meilisearch/MeiliSearch github similar
• myuon/quartz github similar
• jonsterling/sml-pronominal-ml github similar
• ReactTraining/react-router github similar
• LightAndLight/idris-but-its-c github similar
• plt-hokusai/ahc github similar
• smlnj/smlnj github similar
• postalhq/postal github similar
• takanuva/coc github similar
• m-yac/tt-in-cagda github similar
• jonsterling/agda-stc github similar
• RobertHarper/nsml github similar
• dorchard/effects-as-sessions github similar
• anuyts/agda-sessions github similar
• effectfully/Categories github similar