Similar repositories to boystrange/FairSubtypingAgda:

• boystrange/FairSubtypingAgda github similar
• LcicC/inference-systems-agda 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
• peterthiemann/definitional-session github similar
• LBacchiani/session-subtyping-tool github similar
• emtst/zooid-cmpst github similar
• umazalakain/CoContextualPi github similar
• olaure01/yalla github similar
• rumineykova/Sast github similar
• dorchard/effects-as-sessions github similar
• nuscr/nuscr 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
• fpottier/pprint github similar
• wilbowma/cic-redex github similar
• upenn-cis1xx/camelot github similar
• nick8325/twee github similar
• pigworker/Samizdat github similar
• math-comp/finmap github similar
• jespercockx/ataca github similar
• david-christiansen/epigram1 github similar
• mflatt/expander github similar
• keigoi/ocaml-mpst github similar
• ahrefs/rust-ocaml-derive github similar
• sstucki/system-f-agda github similar
• ymherklotz/vericert github similar
• mikeshulman/catlog github similar
• jsiek/B629-denotational github similar
• ImperialCollegeLondon/real-number-game github similar