Similar repositories to silvanshade/agda-nr-cats:

• jonsterling/lecture-notes github similar
• silvanshade/agda-nr-cats github similar
• gibiansky/IHaskell github similar
• 5HT/agda-nr-cats github similar
• barras/cic-model github similar
• EgbertRijke/CategoryTheory_Course github similar
• silvanshade/agda-wander-magmas github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• Eugeny/terminus github similar
• bobatkey/polly github similar
• lehins/MonadicParty2019 github similar
• groupoid/languages github similar
• mstksg/wavelets github similar
• hecrj/iced github similar
• Soonad/Formality-Agda github similar
• Lysxia/coq-recursion-schemes github similar
• bachirelkhadir/Convex-Quaternary-Quartics-Are-Sum-of-Squares github similar
• ubuntu/microk8s github similar
• k6io/k6 github similar
• forked-from-1kasper/tt github similar
• kayceesrk/wasmfx github similar
• alaingiorgetti/enum github similar
• Twey/agda-imp github similar
• obazl/rules_opam github similar
• meilisearch/MeiliSearch github similar
• conal/agda-fft github similar
• bedrocksystems/cpp2v github similar
• konn/laurent github similar
• jaycech3n/CwF github similar
• simhu/ecwf github similar
• guillaumebrunerie/SmashProduct github similar
• jirkamarsik/lambda-mu github similar
• nmvdw/groupoids github similar
• HuStmpHrrr/agda-categories-1 github similar
• nachivpn/expelim github similar
• ericfinster/catt.io github similar
• AndrasKovacs/preordertt github similar
• mr-ohman/intuitionistic-normalization github similar