Similar repositories to plt-amy/agda-search:

• plt-amy/agda-search github similar
• smlnj/smlnj github similar
• plt-amy/cubical-methods github similar
• gibiansky/IHaskell github similar
• tuvtran/project-based-learning github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• tweag/awesome-learning-haskell github similar
• toeverything/AFFiNE github similar
• ralsei/six-eyes github similar
• k6io/k6 github similar
• ronami/HypeScript github similar
• Trebor-Huang/combinator-nbe github similar
• UlfNorell/agda-bench github similar
• flupe/generics github similar
• AliasQli/tactics github similar
• tomdjong/TypeTopology github similar
• RedPRL/asai github similar
• Zekt/Type-Embellishment github similar
• groupoid/anders github similar
• CMU-HoTT/serre-finiteness github similar
• mr-ohman/intuitionistic-normalization github similar
• pigworker/SmolCat github similar
• yforster/coq-synthetic-computability github similar
• motemen/gore github similar
• Eloston/ungoogled-chromium github similar
• Eugeny/terminus github similar
• oragono/oragono github similar
• meilisearch/MeiliSearch github similar
• juxt/crux github similar
• ubuntu/microk8s github similar
• leanprover-community/vscode-lean4 github similar
• williamboman/mason.nvim github similar
• pocketbase/pocketbase github similar
• rapiz1/catp github similar
• superfly/litefs github similar
• roc-lang/roc github similar
• wenkokke/polygen github similar
• HarrisonGrodin/agda-modtt github similar
• xuanruiqi/algebraic-geometry github similar