Similar repositories to GU-CLASP/FraCoq:

• GU-CLASP/FraCoq github similar
• jonsterling/sml-pronominal-ml github similar
• guyemerson/sem-func github similar
• cocreature/pfpl-redex github similar
• yannham/visual-goi github similar
• janestreet-deprecated/ppx_metaquot github similar
• amintimany/CTDT github similar
• jozefg/fibrational-semantics github similar
• dlicata335/cubicalexperiments github similar
• veri-fit/Asphalion github similar
• jonsterling/agda-abt github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• nachivpn/syntactic-ni github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• smimram/Mini-TT github similar
• groupoid/anders github similar
• heades/cut-fill-agda github similar
• Gbury/Ocaml-simplex github similar
• Vierkantor/refinement-parsers github similar
• maxsnew/grammars-and-semantic-actions github similar
• roglo/coq_real github similar
• RedPRL/sml-cats github similar
• michaelsproul/dblib-linear github similar
• jcreedcmu/lambda-maps github similar
• ayberkt/abt github similar
• janestreet/incr_select github similar
• jonsterling/topos-theory-notes github similar
• jonsterling/tt github similar
• niccoloveltri/final-pfin github similar
• pedagand/coq-label github similar
• jespercockx/cubes github similar
• wenkokke/NLQ github similar
• nachivpn/nbe-stlc github similar
• m-yac/agda-knots github similar
• janestreet-deprecated/ppx_core github similar
• samuelgruetter/riscv-coq github similar
• jyp/sctt github similar
• IanOrton/cubical-topos-experiments github similar
• aslanix/SmallStepNI github similar
• thibautbenjamin/catt github similar