Similar repositories to iwilare/imp-semantics:

• iwilare/formal-methods github similar
• iwilare/imp-semantics github similar
• iwilare/church-rosser github similar
• laMudri/generic-lr github similar
• flupe/generics github similar
• xgrommx/agda-ecosystem github similar
• effectfully/Generic github similar
• L-TChen/MtacAR github similar
• gebner/quote4 github similar
• mr-ohman/logrel-mltt github similar
• wenkokke/AutoInAgda github similar
• bellissimogiorno/nominal github similar
• vehicle-lang/vehicle github similar
• frex-project/idris-frex github similar
• DimaSamoz/agda-soas github similar
• jespercockx/ataca github similar
• crypto-agda/crypto-agda github similar
• alhassy/gentle-intro-to-reflection github similar
• scmu/aopa github similar
• wenkokke/schmitty github similar
• serras/hinc github similar
• martinescardo/HoTTEST-Summer-School github similar
• cpitclaudel/alectryon github similar
• RedPRL/redtt github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• snowleopard/build github similar
• ollef/sixty github similar
• UniMath/Foundations github similar
• AndrasKovacs/elaboration-zoo github similar
• verifast/verifast github similar
• heliaxdev/juvix github similar
• higherkindness/mu-haskell github similar
• agda/agda-stdlib github similar
• jorgenschaefer/emacs-buttercup github similar
• tc39/proposal-numeric-separator github similar
• agda/cubical github similar
• well-typed/optics github similar
• knupfer/haskell-emacs github similar
• AndrasKovacs/smalltt github similar
• granule-project/granule github similar