|
JavaScript |
8 |
Operational transformation |
Mar 10, 2023 |
|
Coq |
6 |
Coq formalisation of axiomatic memory models |
Oct 21, 2021 |
|
Agda |
6 |
Formalisation of the Vehicle->Solver transformation |
Jan 18, 2023 |
|
TypeScript |
6 |
Operational transformation engine |
Aug 10, 2022 |
|
Coq |
9 |
Formalisation of the linear lambda calculus in Coq |
Oct 21, 2021 |
|
Coq |
7 |
Coq formalisation of algebra in Homotopy Type Theory |
Mar 02, 2023 |
|
OCaml |
2 |
OCaml Code for SHA256, extracted from Coq formalisation |
Dec 23, 2022 |
|
JavaScript |
337 |
JSON Operational Transformation (JOT) |
Apr 30, 2023 |
|
JavaScript |
51 |
Example app using Operational Transformation |
Sep 27, 2021 |
|
JavaScript |
135 |
JavaScript implementation of Operational Transformation |
Aug 13, 2022 |
|
Elixir |
11 |
A server for operational transformation |
Nov 30, 2021 |
|
TypeScript |
2 |
💽 Operational Transformation in Javascript |
Aug 03, 2020 |
|
JavaScript |
3 |
Collaborative Realtime Editing via Operational Transformation |
Nov 16, 2017 |
|
Erlang |
8 |
Simple example of Operational Transformation in Erlang |
Oct 22, 2018 |
|
Python |
3 |
A python library for Operational Transformation (OT). |
Mar 08, 2022 |
|
Haskell |
39 |
Real-time collaborative editing with Operational Transformation |
Apr 24, 2023 |
|
Haskell |
8 |
Real time group editor without Operational transformation. |
Jan 22, 2020 |
|
JavaScript |
12 |
Real time group editor without Operational transformation. |
Dec 20, 2019 |
|
JavaScript |
2 |
Operational transformation for socialcalc commands (shareJS compatible) |
Dec 07, 2022 |
|
Coq |
2 |
A formalisation of the long exact sequence of Yoneda Ext in Coq-HoTT |
Feb 27, 2023 |
|
JavaScript |
5690 |
Realtime database backend based on Operational Transformation (OT) |
May 16, 2023 |
|
JavaScript |
49 |
Transform DOM tree patches against each other (operational transformation) |
Mar 27, 2022 |
|
Java |
7 |
Support library for Collaborative Realtime Editing via Operational Transformation |
Dec 11, 2022 |
|
TypeScript |
27 |
Library to reconcile JSON patch changes using Operational Transformation |
Feb 13, 2023 |
|
Ruby |
16 |
A Ruby port of the Operational Transformation library ot.js |
May 06, 2023 |
|
JavaScript |
280 |
Changeset library with operational transformation -- for node and the browser! |
Sep 25, 2022 |
|
C# |
2 |
Prototype for a collaborative text editor based on Operational Transformation |
May 30, 2023 |
|
Coq |
3 |
a formalisation of the functional pearl "Enumerating the Rationals" by Gibbons, Lester and Bird in … |
Oct 08, 2018 |
|
Coq |
3 |
Conversion from System T to continuation-passing style (CPS) |
Jan 06, 2018 |
|
Coq |
4 |
None |
Feb 03, 2022 |
|
Coq |
4 |
None |
Sep 07, 2021 |
|
Coq |
4 |
Using VexRiscv without installing Scala |
Dec 10, 2020 |
|
Coq |
4 |
linear algebra done right in coq |
Oct 04, 2021 |
|
Coq |
4 |
Coq code demonstrating a method for representing and reasoning about idealized cryptographic hashing functions |
Jul 06, 2020 |
|
Coq |
4 |
Experiments with an extensible refinement framework |
Oct 10, 2019 |
|
Coq |
4 |
None |
Mar 03, 2021 |
|
Coq |
4 |
A formalization of IO automata in the Coq proof assistant |
Jun 09, 2021 |
|
Coq |
4 |
A Coq framework to support structural design and proof of hardware cache-coherence protocols |
Jun 05, 2022 |
|
Coq |
4 |
Using Coq to derive network configurations from declarative policies |
Dec 16, 2021 |
|
Coq |
4 |
A Coq library for verifying dependencies of stencil implementations |
Apr 14, 2020 |
|
Coq |
4 |
A tutorial on the ott tool for presenting type theory |
Oct 06, 2020 |
|
Coq |
4 |
None |
Aug 13, 2020 |
|
Coq |
4 |
Typeclasses, datatypes and theorems for functional programming in Coq. |
May 02, 2020 |
|
Coq |
4 |
Some Coq formalizations of Linear Logic |
Feb 05, 2022 |
|
Coq |
4 |
None |
Dec 29, 2021 |
|
Coq |
4 |
None |
Jan 12, 2019 |
|
Coq |
5 |
A formally verified generational garbage collector. |
Feb 15, 2022 |
|
Coq |
5 |
Lambda 作品集 |
Apr 22, 2022 |
|
Coq |
5 |
LiteX for the Hack-a-Day 2019 Badge |
Nov 28, 2019 |
|
Coq |
5 |
Coq development of a theory of lightweight cryptographic ledgers |
Sep 08, 2021 |