List of resources related to realtime collaboration
☆31Apr 7, 2022Updated 4 years ago
Alternatives and similar repositories for realtime-collaboration-resources
Users that are interested in realtime-collaboration-resources are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Macro-rules-style syntax matching for procedural macros☆53Nov 7, 2023Updated 2 years ago
- ProsePad is a real-time collaborative text editor like Etherpad, but based on ProseMirror☆34Jun 21, 2020Updated 5 years ago
- Homotopy type theory cheatsheets☆12Apr 15, 2026Updated 2 weeks ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- bearcove internal building tool☆11Apr 28, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆13Dec 23, 2024Updated last year
- Haskell: Monorepo for our open source packages☆17Oct 7, 2017Updated 8 years ago
- Format string experimentations☆14Jul 19, 2021Updated 4 years ago
- ☆10Nov 1, 2023Updated 2 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 7 years ago
- ☆10May 3, 2017Updated 8 years ago
- Comments as GitHub pull requests for Jekyll (and other static site generator) websites.☆16Dec 15, 2018Updated 7 years ago
- simple python gevent web spider☆23Jun 27, 2011Updated 14 years ago
- Rust wrapper for the Airtable API☆13Jul 21, 2019Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Node.js module for SVDLIBC☆18Nov 11, 2015Updated 10 years ago
- Fingertrees of Bytestrings☆19Dec 3, 2018Updated 7 years ago
- Your favorite machine learning papers: installable, deployable and reproducible (as all software should be)☆18Mar 6, 2023Updated 3 years ago
- Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences☆15Aug 7, 2018Updated 7 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆13Sep 4, 2015Updated 10 years ago
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- Agda language support for the Atom editor☆13Sep 16, 2020Updated 5 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Aug 19, 2018Updated 7 years ago
- Implementation of the Raft protocol in OCaml☆20Mar 8, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 8 years ago
- OCaml support for Flycheck using Merlin☆22Jan 6, 2024Updated 2 years ago
- A wiki based on firm theoretical foundations☆51May 16, 2016Updated 9 years ago
- A docker CLI plugin for verifying signed attestations on images☆13Oct 27, 2023Updated 2 years ago
- llb2dot package lets you to convert BuildKit LLB to dot language to analize. You can also directly load Dockerfile☆10Oct 2, 2019Updated 6 years ago
- Simple date data type☆13Jul 13, 2019Updated 6 years ago
- Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)☆24Mar 11, 2025Updated last year
- Mirror repository, PRs are not watched, please use Xfce's GitLab☆18Apr 23, 2026Updated last week
- Slides of my talk about git☆14Dec 10, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 🗂️ A simple, opinionated, tool, written in Rust, for declaratively managing Git repos on your machine.☆22Oct 15, 2023Updated 2 years ago
- react running inside worker☆10Jul 27, 2019Updated 6 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- Experimenting with Flipt 🧪☆12Apr 16, 2024Updated 2 years ago
- CI for documentation. Testing if documentation is runable.☆11Mar 4, 2023Updated 3 years ago
- An Node.js Active Record with a charming declaration and simple usage. Supports Redis as backend but can be easily extended☆19Apr 12, 2012Updated 14 years ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated last year