Similar repositories to epsrc-abcd/session-types-use-cases:

• epsrc-abcd/session-types-use-cases github similar
• danistefanovic/build-your-own-x github similar
• pixijs/pixi.js github similar
• armoredsoftware/session github similar
• soareschen/oplss-haskell github similar
• rumineykova/sessionactors github similar
• theleoborges/elm-workshop-ylj2015 github similar
• gallais/proof-search-ILLWiL github similar
• dorchard/coeffects-experiments github similar
• scribble/scribble-spec github similar
• yveszhang/ldtyping github similar
• dorchard/betty-book-haskell-sessions github similar
• edwinb/Eff github similar
• msprotz/proof-search-monad github similar
• frex-project/idris-frex github similar
• david-christiansen/idris-code-highlighter github similar
• pigworker/Ming github similar
• yoricksijsling/ornaments-thesis github similar
• dorchard/co519-logic github similar
• heades/System-F-Coq github similar
• pigworker/SSGEP-DataData github similar
• DanBurton/system-f github similar
• pigworker/Frank github similar
• gallais/typing-with-leftovers github similar
• rossberg/mixml github similar
• RobertHarper/hott-notes github similar
• effectfully/STLC github similar
• renzyq19/pi-calculus github similar
• dorchard/effects-as-sessions github similar
• google/idris-protobuf github similar
• bravit/tt-ghc-exercises github similar
• halfaya/MusicTools github similar
• silky/super-reference github similar
• david-christiansen/idris-interaction.rkt github similar
• scribble/scribble-java github similar
• david-christiansen/derive-all-the-instances github similar
• nikivazou/theorem-proving-template github similar
• metaborg/linear.agda github similar
• bellissimogiorno/nominal github similar
• puffnfresh/bam-idris-blog github similar