Example app using Operational Transformation
☆52Oct 7, 2013Updated 12 years ago
Alternatives and similar repositories for operational-transformation-example
Users that are interested in operational-transformation-example are comparing it to the libraries listed below
Sorting:
- test system for javascript operational transformation algorithms☆30Feb 21, 2015Updated 11 years ago
- The Wiki 3.0 research project☆19Jun 13, 2023Updated 2 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 7 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆13Sep 4, 2015Updated 10 years ago
- Realtime collaboration example.☆14Oct 27, 2020Updated 5 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Aug 12, 2025Updated 6 months ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆22Aug 25, 2017Updated 8 years ago
- Implementation of Dynamic Time Warping in Haskell☆18Jan 25, 2023Updated 3 years ago
- Real-time collaborative editing with Operational Transformation☆40Jul 20, 2024Updated last year
- Units of measure as a GHC typechecker plugin☆31Oct 12, 2022Updated 3 years ago
- ☆28Jun 3, 2018Updated 7 years ago
- Examples from my europython talk☆61Jun 22, 2011Updated 14 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- ☆34Feb 18, 2026Updated last week
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 8 years ago
- Toy Scheme interpreter written in CoffeeScript☆41Feb 10, 2011Updated 15 years ago
- Link to preprints for POPL'18 and colocated events☆86Jun 16, 2018Updated 7 years ago
- SciELO PS XML spec.☆12Aug 26, 2020Updated 5 years ago
- A Java bytecode library for Python.☆11Aug 11, 2025Updated 6 months ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 6 months ago
- A Conflict-Free Replicated JSON Datatype for Haskell☆34Jul 14, 2018Updated 7 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Content classification/clustering through language processing☆25Mar 10, 2012Updated 13 years ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 5 months ago
- unlimitedjs is a minimal JavaScript framework for building production-ready UI with no limitations, full flexibility and zero rules - jus…☆11Sep 10, 2019Updated 6 years ago
- This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…☆12Nov 17, 2025Updated 3 months ago
- The control layer for AI Agents☆37Feb 22, 2026Updated last week
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- ☆10Jun 28, 2011Updated 14 years ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- Node streams2 layer for working with WebRTC data channels☆16Oct 29, 2019Updated 6 years ago
- Nehe Tutorials in Clojure using Penumbra☆29Sep 21, 2010Updated 15 years ago
- Gates of Olympus: A multi-layer tower defense game in WebGL☆15Jan 30, 2011Updated 15 years ago
- This is a development fork. Things get rebased without regard for safety. You should follow joyent/node instead.☆21Dec 8, 2016Updated 9 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- An implementation of the Google Wave Gadget API using Node and websockets☆75Apr 12, 2012Updated 13 years ago
- Coordinate-free hypersurfaces as Haskell types☆42Apr 5, 2025Updated 10 months ago
- Asynchronous mysql driver from Concurrence adapted to gevent☆66Dec 16, 2011Updated 14 years ago