Similar repositories to LcicC/inference-systems-agda:

• LcicC/inference-systems-agda github similar
• boystrange/FairSubtypingAgda github similar
• boystrange/FairTermination github similar
• boystrange/FairCheck github similar
• peterthiemann/dual-session github similar
• keigoi/scribble-memo github similar
• chrisbartoloburlo/stmonitor github similar
• keigoi/caramel-mpst github similar
• zmthy/recursive-types github similar
• LBacchiani/session-subtyping-tool github similar
• emtst/zooid-cmpst github similar
• peterthiemann/definitional-session github similar
• umazalakain/CoContextualPi 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
• umazalakain/typing-linear-pi 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
• ImperialCollegeLondon/real-number-game 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
• nadia-polikarpova/synquid github similar
• ImperialCollegeLondon/formalising-mathematics-2022 github similar
• smtcoq/smtcoq github similar
• nomeata/ghc-proofs github similar
• liamoc/holbert github similar
• Agda-zh/PLFA-zh github similar
• david-christiansen/pie-hs github similar
• zshipko/ocaml-rs github similar
• harpocrates/inline-rust github similar