Similar repositories to Vierkantor/refinement-parsers:

• Vierkantor/refinement-parsers github similar
• inanna-malick/hgit github similar
• LightAndLight/idris-lambda-reflection github similar
• cj-xu/GentzenTrans github similar
• tootsuite/mastodon github similar
• jonsterling/sml-pronominal-ml github similar
• jonsterling/lecture-notes github similar
• 5HT/agda-nr-cats github similar
• EgbertRijke/CategoryTheory_Course github similar
• hecrj/iced github similar
• gibiansky/IHaskell github similar
• Jellonator/Emailang github similar
• plt-hokusai/ahc github similar
• Twey/agda-imp github similar
• cozodb/cozo github similar
• flux-rs/flux github similar
• quinn-dougherty/gtf github similar
• kwf/Presburger github similar
• asajeffrey/finite-dtypes github similar
• yforster/coq-synthetic-computability github similar
• jonsterling/agda-abt github similar
• pigworker/InteriorDesign github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• glittershark/categories github similar
• JakobeBussey/StoneSpaces1130 github similar
• coq-contribs/lazy-pcf github similar
• robrix/Manifold github similar
• pigworker/Box github similar
• roglo/coq_real github similar
• maxsnew/grammars-and-semantic-actions github similar
• nulvinge/Linear-Abstract-Machine github similar
• maxsnew/virtual-equipments github similar
• gallais/agdarky github similar
• konn/vscode-redtt-diagnostics github similar
• aronisstav/formal-trace-theory github similar
• SimonBoulier/hott-colimits github similar
• bgavran/Idris_Category_Theory github similar
• tetrapharmakon/isbell-frames github similar
• cutsea110/magma github similar
• awodey/ritop github similar