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:
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- Realtime collaboration example.☆14Oct 27, 2020Updated 5 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆13Sep 4, 2015Updated 10 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 7 years ago
- Web forms with Substance.☆14May 12, 2017Updated 8 years ago
- Implementation of Dynamic Time Warping in Haskell☆18Jan 25, 2023Updated 3 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆22Aug 25, 2017Updated 8 years ago
- Sveltekit and Postgres☆12May 10, 2022Updated 3 years ago
- Example of using Dhall to generate a terraform file to manage a Github Organisation☆11Dec 8, 2020Updated 5 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Aug 12, 2025Updated 7 months ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- Units of measure as a GHC typechecker plugin☆31Oct 12, 2022Updated 3 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- ☆12Jun 3, 2020Updated 5 years ago
- Jupyter+DAR compatibility exploration☆12Mar 15, 2022Updated 4 years ago
- SciELO PS XML spec.☆12Aug 26, 2020Updated 5 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- ▲ My super website built with SvelteKit and served on Vercel.☆11Apr 22, 2024Updated last year
- A Conflict-Free Replicated JSON Datatype for Haskell☆34Jul 14, 2018Updated 7 years ago
- 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
- A fork of http://pydispatcher.sourceforge.net/ with PyPy support☆16Jul 3, 2017Updated 8 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- a tor socks proxy docker image☆12Feb 10, 2026Updated last month
- Clear to write, read and edit DSL for writing SVG, base on lucid☆12Aug 1, 2023Updated 2 years ago
- Renamed: https://github.com/maccman/macgap☆12Jan 9, 2012Updated 14 years ago
- slice videos in node using ffmpeg☆12Jan 10, 2016Updated 10 years ago
- Nehe Tutorials in Clojure using Penumbra☆29Sep 21, 2010Updated 15 years ago
- Haskell: Monorepo for our open source packages☆17Oct 7, 2017Updated 8 years ago
- A minimal, functional language focused on data analysis and visualization☆15Jul 26, 2018Updated 7 years ago
- Examples from my europython talk☆61Jun 22, 2011Updated 14 years ago
- archlinuxarm aarch64 for raspiberry pi 3, 3B+, 3A, 4B☆13Jan 6, 2020Updated 6 years ago
- Create your custom Qt + PyQt SDK for multiple platforms☆10Jun 7, 2019Updated 6 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 7 years ago
- Convert an observable to ES6 async generator☆16Mar 13, 2026Updated last week
- ☆28Jun 3, 2018Updated 7 years ago
- CodeBinding allows you to create bindings directly from Linq expressions in your code☆17Jul 11, 2011Updated 14 years ago