Similar repositories to skeuchel/needle:

• skeuchel/needle github similar
• MetaBorgCube/oopsla18-artifact github similar
• tewe/uroboro github similar
• ajrouvoet/implicits.agda github similar
• goldfirere/ott-tutorial github similar
• uds-psl/coq-a-la-carte-cpp20 github similar
• leissa/dimpl github similar
• yfcai/CREG github similar
• kcsmnt0/proof-trees github similar
• m0rphism/definitional github similar
• poplmark-reloaded/poplmark-reloaded github similar
• gelisam/circular-sig github similar
• phadej/lens-laws github similar
• elpinal/focused-modules github similar
• jonsterling/lean4-sgdt github similar
• uds-psl/autosubst-ocaml github similar
• coq-community/templates github similar
• taktoa/eqsat github similar
• mietek/agda-intro github similar
• xmanu/scala-virtual-classes-annotation-macros github similar
• mstksg/decidable github similar
• jashug/WhyNotW github similar
• robinvd/lang-experiments github similar
• math-comp/tutorial_material github similar
• balint99/sfpl github similar
• Saizan/parametric-demo github similar
• fsestini/tt-in-cubical github similar
• chrisamaphone/lfinlf github similar
• coq-community/docker-coq-action github similar
• phadej/staged github similar
• gergoerdi/stlc-agda github similar
• inc-lc/ilc-agda github similar
• sstucki/pts-agda github similar
• LightAndLight/ipso github similar
• gallais/agdarky github similar
• japesinator/Idris-Profunctors github similar
• matthesjh/coq-tal github similar
• imfd/GraphCoQL github similar
• appliedfm/vstyle github similar
• palmskog/coq-program-verification-template github similar