Similar repositories to phi16/Quilt:

• phi16/Quilt github similar
• flutter/flutter_web github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• JonasDuregard/lazy-search github similar
• peterthiemann/definitional-session github similar
• 5HT/DependentLinearPi github similar
• sstucki/pts-agda github similar
• bobatkey/agda-metric-reals github similar
• tpavlic/splncs04nat github similar
• gallais/agdarsec github similar
• Agda-zh/PLFA-zh github similar
• agda/agda-frp-js github similar
• certichain/toychain github similar
• UniMath/agda-unimath github similar
• np/ling github similar
• Deducteam/lambdapi github similar
• snowleopard/selective github similar
• harpocrates/inline-rust github similar
• ott-lang/ott github similar
• cedille/cedille github similar
• agda/cubical github similar
• EgbertRijke/HoTT-Intro github similar
• AndrasKovacs/elaboration-zoo github similar
• linoscope/CAMLBOY github similar
• esumii/min-caml github similar
• jscoq/jscoq github similar
• granule-project/granule github similar
• poacpm/poac github similar
• josefs/Gradualizer github similar
• Munksgaard/session-types github similar
• HOL-Theorem-Prover/HOL github similar
• emina/rosette github similar
• ocsigen/lwt github similar
• pma/amqp github similar
• cvc5/cvc5 github similar
• ocaml-multicore/ocaml-multicore github similar
• andreiw/RaspberryPiPkg github similar
• CakeML/cakeml github similar
• IntelLabs/flrc github similar