Similar repositories to Lolirofle/stuff-in-agda:

• Lolirofle/stuff-in-agda github similar
• Jellonator/Emailang github similar
• Acid-ZdS/PyAcid github similar
• meilisearch/MeiliSearch github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• gibiansky/IHaskell github similar
• lehins/MonadicParty2019 github similar
• mstksg/wavelets github similar
• sarahzrf/minelang github similar
• Twey/agda-imp github similar
• dannypsnl/inductive github similar
• inanna-malick/hgit github similar
• kaeluka/sequentc github similar
• nulvinge/Linear-Abstract-Machine github similar
• pepeiborra/same-same github similar
• isovector/wheatley github similar
• t4ccer/exnihilo github similar
• msp-strath/Mary github similar
• meta-logic/sequoia github similar
• sconybeare/mltt github similar
• Mesabloo/paranet github similar
• phadej/ncill github similar
• Mesabloo/bfhs github similar
• jcpetruzza/generics-gadt github similar
• rampion/concrete-kinds github similar
• Mesabloo/HaSM github similar
• sarahzrf/sequents github similar
• vanaur/RCL-C github similar
• MaisaMilena/JuiceMaker github similar
• mroman42/vitrea-agda github similar
• felko/linear-algebra github similar
• julianhyde/morel github similar
• petersn/scowproof github similar
• tdietert/pi-calculus github similar
• neongreen/to github similar
• ChrisPenner/ffs github similar
• Boarders/agda-pipes github similar
• effectfully/proto-tt github similar
• Skyb0rg007/Optix github similar