Similar repositories to NickStephens/lambda-x:

• NickStephens/lambda-x github similar
• DmytroMitin/hott-cubicaltt-exercises github similar
• luajit-remake/luajit-remake github similar
• numberten/scribble-recognition github similar
• rsdoiel/MLj github similar
• nponeccop/cubicaltt github similar
• numberten/genetic_library github similar
• awkure/luna github similar
• MaiaVictor/Nasic-legacy github similar
• moshott/geocoq github similar
• Kaptch/course_project_3year github similar
• erpuno/act github similar
• TranquilMarmot/spaceout github similar
• groupoid/anders github similar
• MaiaVictor/escoc-libs-legacy github similar
• nachivpn/nbe-stlc github similar
• groupoid/alonzo github similar
• ziman/itt github similar
• NickStephens/WRATH github similar
• o1/n2o github similar
• jdan/compiler.lean github similar
• JLimperg/cats github similar
• groupoid/cafe github similar
• EarlGray/COSEC github similar
• BekaValentine/SimpleFP github similar
• jaycech3n/Isabelle-HoTT github similar
• MaiaVictor/absal-rs github similar
• codedot/lambda github similar
• EarlGray/SECD github similar
• foreverbell/verified github similar
• o3/n2o github similar
• coq-contribs/coq-in-coq github similar
• NickStephens/elfit github similar
• nponeccop/HNC github similar
• valis/hoq github similar
• brendanzab/rust-nbe-for-mltt github similar
• jozefg/nbe-for-mltt github similar
• certichain/toychain github similar
• jozefg/pcf github similar
• ptol/oczor github similar