jprider63/vrdt

Issues

• Reconsider Kyowon.Client.Reflex implementation

  #8 opened 2 years ago by plredmond
  0

• Route Kyowon.Client.Client.{client,store} fields through kyowon-reflex

  #7 opened 2 years ago by plredmond
  0

• CI/CD

  #4 opened 2 years ago by plredmond
  1

• VRDT typeclass proofs

  #11 opened 5 years ago by jprider63
  1

• Integrate CausalTree with Reflex

  #14 opened 5 years ago by jprider63
  0

• Implement a collaborative text editor example

  #15 opened 5 years ago by jprider63
  1

• System exhausts resources when a client joins with many existing operations

  #17 opened 5 years ago by jprider63
  9

• Implement denotational semantics

  #16 opened 5 years ago by jprider63
  0

• Prove strong eventual consistency

  #13 opened 5 years ago by jprider63
  0

• Switch proofs to use typeclasses

  #12 opened 5 years ago by jprider63
  0

• LH says safe when it isn't?

  #10 opened 5 years ago by jprider63
  8

• Implement todo list example

  #9 opened 5 years ago by jprider63
  0

• Merge ClientId's so that CausalTree uses the unified type

  #5 opened 5 years ago by jprider63
  3

• Cannot build 'vrdt' package on master

  #3 opened 5 years ago by plredmond
  1