Similar repositories to jonsterling/itt-bidirectional:

• jonsterling/itt-bidirectional github similar
• nachivpn/coherence github similar
• gibiansky/IHaskell github similar
• jonsterling/coq-meaning-explanation github similar
• hughfdjackson/abattoir github similar
• andrewthad/lens-prelude github similar
• danistefanovic/build-your-own-x github similar
• heliaxdev/witch github similar
• sayon/coq-cata github similar
• dorchard/coeffects-experiments github similar
• stefaniatadama/inductive_types github similar
• RobertHarper/hott-notes github similar
• jonsterling/agda-directed-plump-ordering github similar
• nushio3/unittyped github similar
• florence/esterel-calculus github similar
• ezrosent/FLK-Semantics github similar
• ezrosent/TAPL-idris github similar
• ak3n/abt-zoo github similar
• jonsterling/lcf-sequent-calculus-example github similar
• hgoes/nbis github similar
• MonoidalAttackTrees/ATLL-Formalization github similar
• mikeshulman/hott-categories github similar
• jonsterling/Agda-Sheaves github similar
• dima-starosud/Dynamic github similar
• dragonwasrobot/simpl-lang github similar
• jaredly/coqdocs github similar
• LogicTypesPrograms/LogicTypesPrograms github similar
• andre-artus/handbook-of-practical-logic-and-automated-reasoning-haskell github similar
• heades/System-F-Coq github similar
• saltlang/saltlang github similar
• Soostone/stoplight github similar
• dorchard/effects-as-sessions github similar
• matijapretnar/proofs github similar
• jpt4/skio github similar
• conal/agda-cat-linear github similar
• jozefg/fibrational-semantics github similar
• lives-group/time-complexity-verification github similar
• iu-parfunc/popl18-lh-prover-artifact github similar
• KolodeznyDiver/THEff github similar
• asajeffrey/finite-dtypes github similar