Similar repositories to ruisb/LambdaPi:

• ruisb/LambdaPi github similar
• chriseidhof/apa github similar
• ruisb/GP_GenericAutomata github similar
• ruisb/PiGraph github similar
• xplat/potpourri github similar
• danelahman/Normalization-By-Evaluation github similar
• benkavanagh/ccoq-explicit-sn github similar
• agda/agda-assoc-free github similar
• jyp/topics github similar
• xplat/agda-tactics github similar
• danelahman/Directed-Containers github similar
• pigworker/WhatRTypes4 github similar
• sebastiaanvisser/ghc-goals github similar
• glutamate/bugpan github similar
• darius/logsim github similar
• darius/consp github similar
• gertvv/oops github similar
• jmchapman/Big-step-Normalisation github similar
• tonyarnold/virtuedesktops github similar
• bobatkey/sorting-types github similar
• ezyang/lr-agda github similar
• gallais/agda-nbe github similar
• bitonic/tog github similar
• wenkokke/msla2014 github similar
• dorchard/effects-as-sessions github similar
• antitypical/Manifold github similar
• pigworker/shonky github similar
• wenkokke/AutoInAgda github similar
• pedagand/typechecker-evolution github similar
• sstucki/system-f-agda github similar
• leto/asmutils github similar
• jyp/nano-Agda github similar
• edwinb/Protocols github similar
• TheoWinterhalter/formal-type-theory github similar
• agda/agda-frp-js github similar
• ProofSystem/Encyclopedia github similar
• jozefg/nbe-for-mltt github similar
• copumpkin/categories github similar
• idris-hackers/idris-demos github similar
• ctm/executor github similar