Similar repositories to keigoi/scribble-memo:

• keigoi/scribble-memo github similar
• plt-amy/cubical-methods github similar
• ronami/HypeScript github similar
• oven-sh/bun github similar
• keigoi/caramel-mpst github similar
• peterthiemann/dual-session github similar
• LcicC/inference-systems-agda github similar
• nickng/vim-scribble github similar
• boystrange/FairSubtypingAgda github similar
• chrisbartoloburlo/stmonitor github similar
• zmthy/recursive-types github similar
• boystrange/FairTermination 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
• 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
• scribble/scribble-java github similar
• keigoi/session-ocaml github similar
• keigoi/ocaml-mpst github similar
• ahrefs/rust-ocaml-derive github similar
• ymherklotz/vericert github similar
• ImperialCollegeLondon/real-number-game github similar
• banacorn/agda-language-server github similar
• ferrite-rs/ferrite github similar
• wenkokke/schmitty github similar
• google/ghc-source-gen github similar
• ImperialCollegeLondon/formalising-mathematics-2022 github similar
• kit-ty-kate/labrys github similar
• nadia-polikarpova/synquid github similar
• Pure-D/serve-d github similar
• smtcoq/smtcoq github similar