☆37Oct 18, 2021Updated 5 years ago
Alternatives and similar repositories for move-op
Users that are interested in move-op are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of a CRDT algorithm for distributed trees☆24Jul 5, 2021Updated 5 years ago
- ☆124Jan 13, 2024Updated 2 years ago
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 4 years ago
- Abstract Reconciliation for Kotlin☆16Jan 19, 2018Updated 8 years ago
- Tutorial on modeling with TLA+☆24Sep 15, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Synced Files Workspace. A p2p collaborative filestructure built on Hypercore's Autobase.☆16Nov 24, 2021Updated 4 years ago
- CQLReplicator is a migration tool that helps you to replicate data from Cassandra to AWS Services☆17Oct 16, 2026Updated 2 weeks ago
- Lexicographically-ordered position strings for collaborative lists and text☆49Dec 17, 2023Updated 2 years ago
- ergonomic columnar storage encoding crate☆29Sep 23, 2025Updated last year
- Convert a nodejs Readable stream to a web ReadableStream☆12Feb 18, 2023Updated 3 years ago
- TLA+ Foundation☆33Jul 21, 2026Updated 3 months ago
- An RDF serialization format designed for performance in the browser☆33Oct 14, 2024Updated 2 years ago
- ☆11Mar 23, 2026Updated 7 months ago
- Simple, boring, first person controls for three.js☆12Jan 22, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆14Updated this week
- Haskell 2010 Revised Language Report☆25Updated this week
- The hello-world of MPC.☆14May 15, 2026Updated 5 months ago
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 3 months ago
- Rust concise 5 Minutes cheat-sheet for each concepts. (WIP)☆18Oct 21, 2019Updated 7 years ago
- Implementation of Transfers in the SAFE Network.☆10Jun 25, 2021Updated 5 years ago
- A high-performance, cross-platform daemon framework for Rust. Built with an async-native architecture and robust graceful shutdown for cr…☆14Oct 26, 2026Updated last week
- Support for linearly-typed generics in Haskell☆10Jun 18, 2026Updated 4 months ago
- Mount IPFS MFS as a FUSE volume using Node.js☆43Mar 8, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- SQLite database file parser in pure JavaScript☆14Apr 28, 2022Updated 4 years ago
- Model Checking for Industrial Programmers with TLA+☆19May 22, 2026Updated 5 months ago
- MCP server for hackage documentation☆12May 17, 2026Updated 5 months ago
- Docs, notes and resources that don't fit elsewhere.☆13May 23, 2023Updated 3 years ago
- Visual Studio Code Extension(s) for Rzk proof assistant.☆11Jul 25, 2026Updated 3 months ago
- Command-line utility to draw charts easily☆14Mar 29, 2024Updated 2 years ago
- Pre-configured libp2p for browser and node.js.☆12Jun 24, 2018Updated 8 years ago
- ☆15Aug 19, 2026Updated 2 months ago
- A simple p2p file-sharing system☆13Jan 25, 2026Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Another high-level API for creating secondary leveldb indexes☆14Jul 17, 2020Updated 6 years ago
- KoMock - Simple HTTP/Consul/SpringConfig http server framework written in Kotlin. Wiremock use cases☆10Dec 5, 2018Updated 7 years ago
- A distributed file system for use with the Oku browser.☆25Mar 1, 2026Updated 8 months ago
- hgg — Haskell Grammar of Graphics (declarative plotting).☆21Aug 13, 2026Updated 2 months ago
- A formatter for TLA+ specs☆15Oct 14, 2026Updated 2 weeks ago
- Bot for Minecraft environment☆13Jun 18, 2019Updated 7 years ago
- RDF数据的可视化展示:可展示RDF之间的关系与联系、利用SPARQL语句查询不同的数据集、针对于RDF的标签化和TripleBit与其他图数据库性能对比☆12Jul 22, 2018Updated 8 years ago