Similar repositories to effectfully/OTT:

• effectfully/OTT github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• effectfully/Cubes github similar
• mr-ohman/logrel-mltt github similar
• mortberg/yacctt github similar
• effectfully/Generic github similar
• gibiansky/IHaskell github similar
• shaunlebron/parinfer github similar
• neel-krishnaswami/linearml github similar
• fredefox/cat github similar
• Eloston/ungoogled-chromium github similar
• flupe/generics github similar
• ziman/itt-idris github similar
• scmu/foundations-harper github similar
• gallais/typing-with-leftovers github similar
• gallais/generic-syntax github similar
• effectfully/STLC github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• valis/hoq github similar
• groupoid/anders github similar
• agda/ooAgda github similar
• thibautbenjamin/catt github similar
• vrahli/NuprlInCoq github similar
• bobatkey/sott github similar
• twanvl/ttie github similar
• gallais/agda-sizedIO github similar
• TOTBWF/muprl github similar
• anuyts/menkar github similar
• gallais/agdarsec github similar
• alhassy/gentle-intro-to-reflection github similar
• dlicata335/cart-cube github similar
• ubuntu/microk8s github similar
• GamestonkTerminal/GamestonkTerminal github similar
• aquynh/capstone github similar
• postalhq/postal github similar
• meilisearch/MeiliSearch github similar
• metaborg/linear.agda github similar