Similar repositories to LBacchiani/session-subtyping-tool:

• LBacchiani/session-subtyping-tool github similar
• peterthiemann/dual-session github similar
• LcicC/inference-systems-agda github similar
• keigoi/scribble-memo github similar
• chrisbartoloburlo/stmonitor github similar
• boystrange/FairSubtypingAgda github similar
• keigoi/caramel-mpst github similar
• zmthy/recursive-types github similar
• boystrange/FairTermination github similar
• emtst/zooid-cmpst github similar
• kosmikus/popl21-liquid-haskell-tutorial github similar
• peterthiemann/definitional-session github similar
• umazalakain/CoContextualPi github similar
• umazalakain/typing-linear-pi github similar
• wenkokke/priority-sesh github similar
• AD1024/veripy github similar
• SimonJF/monitored-session-erlang github similar
• plt-amy/cubical-methods github similar
• wenkokke/idris-sesh github similar
• gallais/typing-with-leftovers github similar
• umazalakain/agda-bcam github similar
• dorchard/effects-as-sessions github similar
• fpottier/pprint github similar
• upenn-cis1xx/camelot github similar
• ahrefs/rust-ocaml-derive github similar
• ymherklotz/vericert github similar
• tchajed/goose github similar
• ImperialCollegeLondon/real-number-game github similar
• sweirich/lambda-n-ways github similar
• wenkokke/schmitty github similar
• google/ghc-source-gen github similar
• ferrite-rs/ferrite github similar
• banacorn/agda-language-server github similar
• kit-ty-kate/labrys github similar
• rhu1/fgg github similar
• nadia-polikarpova/synquid github similar
• ImperialCollegeLondon/formalising-mathematics-2022 github similar
• smtcoq/smtcoq github similar
• nomeata/ghc-proofs github similar
• liamoc/holbert github similar