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