Similar repositories to agda/categories-examples:

• danistefanovic/build-your-own-x github similar
• agda/categories-examples github similar
• hecrj/iced github similar
• tuvtran/project-based-learning github similar
• isovector/denotational-arithmetic-zurihac github similar
• bendy/DenotationalSemantics github similar
• conal/Collaboration github similar
• jcp19/laop_coq github similar
• tootsuite/mastodon github similar
• ubuntu/microk8s github similar
• juxt/crux github similar
• gibiansky/IHaskell github similar
• k6io/k6 github similar
• wenkokke/polygen github similar
• oragono/oragono github similar
• meilisearch/MeiliSearch github similar
• GamestonkTerminal/GamestonkTerminal github similar
• conal/agda-fft github similar
• AkihiroSuda/lima github similar
• Lokidottir/typerbole github similar
• claudiacorreia60/kvstore github similar
• inanna-malick/hgit github similar
• elpinal/subtyping-agda github similar
• pnwamk/fme github similar
• mlyean/purely-functional-data-structure github similar
• jesyspa/polycat github similar
• ekmett/typed-keys github similar
• mjhopkins/category-cheat-sheet github similar
• jules-hedges/julesh-optics github similar
• isovector/data-quadtree github similar
• fused-effects/fused-effects-parser github similar
• gvolpe/par-dual github similar
• polysemy-research/polysemy-scoped github similar
• puffnfresh/type-algebra github similar
• woodrush/sectorlisp-ref-in-bf github similar
• conal/contractive github similar
• julianhyde/morel github similar
• bolt12/study-for-free github similar
• iblech/agdapad github similar
• conal/agda-cat-linear github similar