Similar repositories to Deducteam/Agda2Dedukti:

• Deducteam/Agda2Dedukti github similar
• jonsterling/lecture-notes github similar
• groupoid/anders github similar
• heliaxdev/witch github similar
• superhaNds/cwfs github similar
• aquynh/capstone github similar
• nad/dependent-lenses github similar
• UlfNorell/agda-bench github similar
• laMudri/generic-lr github similar
• L-TChen/MtacAR github similar
• oracle/bft-consensus-agda github similar
• AndrasKovacs/preordertt github similar
• peterthiemann/definitional-session github similar
• amblafont/UniversalII github similar
• TOTBWF/agda-groups github similar
• casvdrest/generating-indexed github similar
• jaycech3n/CwF github similar
• sstucki/pts-agda github similar
• effectfully/Generic github similar
• msp-strath/feet github similar
• JLimperg/well-founded-corecursion github similar
• cj-xu/OrdinalNotations github similar
• L-TChen/FiniteSets github similar
• julianhyde/morel github similar
• tcampion/Semisimplicial github similar
• jonsterling/coq-domains github similar
• bobatkey/agda-metric-reals github similar
• UlrikBuchholtz/nominal-hott github similar
• banacorn/textmate-grammar-sucks github similar
• lukaszcz/infinitary-confluence github similar
• RikvanToor/text-icu github similar
• wenkokke/setup-agda github similar
• pixijs/pixi.js github similar
• ReactTraining/react-router github similar
• domchristie/turndown github similar
• gibiansky/IHaskell github similar
• Eloston/ungoogled-chromium github similar
• tootsuite/mastodon github similar
• mozilla/serviceworker-cookbook github similar
• postalhq/postal github similar