Similar repositories to nponeccop/cubicaltt:

• nponeccop/cubicaltt github similar
• coq-concurrency/system github similar
• DmytroMitin/hott-cubicaltt-exercises github similar
• rsdoiel/MLj github similar
• awkure/luna github similar
• NickStephens/lambda-x github similar
• MaiaVictor/Nasic-legacy github similar
• moshott/geocoq github similar
• groupoid/anders github similar
• Kaptch/course_project_3year github similar
• erpuno/act github similar
• MaiaVictor/escoc-libs-legacy github similar
• nachivpn/nbe-stlc github similar
• groupoid/alonzo github similar
• excavador/erlang-mnesia-video.ru github similar
• ziman/itt github similar
• jdan/compiler.lean github similar
• JLimperg/cats github similar
• groupoid/cafe github similar
• o1/n2o github similar
• EarlGray/COSEC github similar
• BekaValentine/SimpleFP github similar
• jaycech3n/Isabelle-HoTT github similar
• MaiaVictor/absal-rs github similar
• EarlGray/SECD github similar
• codedot/lambda github similar
• foreverbell/verified github similar
• bravit/idris-cs-hse github similar
• o3/n2o github similar
• fredefox/cat github similar
• coq-contribs/coq-in-coq github similar
• nponeccop/HNC github similar
• algebraic-graphs/agda github similar
• brendanzab/rust-nbe-for-mltt github similar
• valis/hoq github similar
• certichain/toychain github similar
• jozefg/nbe-for-mltt github similar
• jozefg/pcf github similar
• ilya-klyuchnikov/ttlite github similar
• MaiaVictor/optlam github similar