Similar repositories to jonsterling/agda-stc:

• jonsterling/agda-stc github similar
• jonsterling/guarded-theories github similar
• gibiansky/IHaskell github similar
• jonsterling/lecture-notes github similar
• plt-hokusai/ahc github similar
• heliaxdev/witch github similar
• raptazure/kweh github similar
• hecrj/iced github similar
• silvanshade/cool-tt github similar
• annenkov/trace-monoids github similar
• Alendia/plfa-answers github similar
• jonsterling/agda-directed-plump-ordering github similar
• superhaNds/cwfs github similar
• AndrasKovacs/polynomial-model github similar
• JacquesCarette/agda-algebras github similar
• LightAndLight/idris-lambda-reflection github similar
• jonsterling/lean4-sgdt github similar
• elpinal/subtyping-agda github similar
• AndrasKovacs/preordertt github similar
• nachivpn/k github similar
• amblafont/UniversalII github similar
• agda/guarded github similar
• UlfNorell/quasi-quote github similar
• kckennylau/mathlib4 github similar
• xuanruiqi/commalg github similar
• tomdjong/TypeTopology github similar
• elpinal/duploids github similar
• jonsterling/coq-sgdt github similar
• RedPRL/kado github similar
• xnning/Row-and-Bounded-via-Disjoint github similar
• jonsterling/agda-effectful-forcing github similar
• sabauma/agda-relation-algebra github similar
• jonsterling/mathematical-notebook github similar
• jonsterling/effectful-typesetting github similar
• Saizan/hottest-talk github similar
• knight-lang/asm github similar
• nmvdw/GrpdHITs github similar
• ollef/navm github similar
• YouTakaoka/Topos github similar
• yforster/coq-synthetic-computability github similar