Operational-Transformation/ot.v Operational-Transformation/ot.v

  • Stars
    star
    9
  • Rank 1,939,442 (Top 39 %)
  • Language Coq
  • License
    MIT License
  • Created over 11 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Operational-Transformation/ot.v
github

Operational-Transformation

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formalisation of Operational Transformation in Coq

More Repositories

1

ot.js

JavaScript
1,957
star
2

operational-transformation.github.com

TypeScript
103
star
3

ot.py

Python
49
star
4

ot.hs

Real-time collaborative editing with Operational Transformation
Haskell
39
star
5

ot-demo

JavaScript
29
star
6

ot.lua

Collaborative plain-text editing with Operational Transformations in redis
Lua
7
star