Similar repositories to conal/agda-cat-linear:

• conal/agda-cat-linear github similar
• danistefanovic/build-your-own-x github similar
• heliaxdev/witch github similar
• gibiansky/IHaskell github similar
• plt-hokusai/ahc github similar
• robinp/align github similar
• nachivpn/coherence github similar
• hecrj/iced github similar
• Eloston/ungoogled-chromium github similar
• Twey/agda-imp github similar
• raptazure/kweh github similar
• meilisearch/MeiliSearch github similar
• JacquesCarette/agda-algebras github similar
• stefaniatadama/inductive_types github similar
• andreasabel/universal-algebra github similar
• Chaaaos/formaltt github similar
• Zekt/Type-Embellishment github similar
• UlfNorell/quasi-quote github similar
• wenkokke/priority-sesh github similar
• ekmett/make github similar
• RedPRL/algaett github similar
• jfdm/tears-in-the-rain github similar
• FrozenWinters/SbE github similar
• xnning/Row-and-Bounded-via-Disjoint github similar
• jonsterling/lean4-sgdt github similar
• elpinal/subtyping-agda github similar
• jonsterling/guarded-theories github similar
• jespercockx/telescopic github similar
• DreamLinuxer/FracAncilla github similar
• sweirich/lennart-lambda github similar
• kckennylau/mathlib4 github similar
• jonsterling/agda-stc github similar
• TOTBWF/muprl github similar
• hughfdjackson/abattoir github similar
• andrewthad/lens-prelude github similar
• kg4sgp/theinventory github similar
• tdammers/purescript-halogen-leaflet github similar
• blockstack/stacks github similar
• puffnfresh/roku-api github similar
• 5HT/agda-nr-cats github similar