Mako: Speculative Distributed Transactions with Geo-Replication
☆14Oct 25, 2026Updated this week
Alternatives and similar repositories for mako
Users that are interested in mako are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆17Feb 28, 2024Updated 2 years ago
- ☆20Jan 9, 2025Updated last year
- ☆51Mar 13, 2024Updated 2 years ago
- ExChain is a static/dynamic analysis tool aimed at pinpointing the root cause of failures resulting from exception propagation.☆13Mar 1, 2024Updated 2 years ago
- Design documents for distributed DBSP☆11Oct 23, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [NSDI26] Pilot Execution: Simulating Failure Recovery In Situ for Production Distributed Systems☆19Mar 11, 2026Updated 7 months ago
- Stress the CPU. Simple CPU performance benchmark based on runtime in seconds☆13Jul 30, 2026Updated 2 months ago
- Synchronous programming in Haskell☆17Oct 19, 2020Updated 6 years ago
- Neovim plugin for canopy - toggle between your editor and AI agent dashboard☆15Mar 21, 2026Updated 7 months ago
- Conway's Game of Life using a memoized Store comonad☆11Nov 20, 2017Updated 8 years ago
- GitHub Repo for STAR: Scaling Transactions through Asymmetric Replication☆21Jun 28, 2019Updated 7 years ago
- ☆15Jun 2, 2025Updated last year
- A forgiving Json lense☆19Jul 13, 2019Updated 7 years ago
- This repository hosts the code used for the following paper: Claude Barthels, Ingo Müller, Konstantin Taranov, Torsten Hoefler, Gustavo A…☆11Nov 1, 2019Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.☆17Jun 17, 2022Updated 4 years ago
- ☆18Jan 11, 2026Updated 9 months ago
- ☆14Aug 11, 2018Updated 8 years ago
- ☆27Oct 7, 2026Updated 3 weeks ago
- Database re-evaluation for TiDB, YugabyteDB☆13Aug 31, 2020Updated 6 years ago
- Panopticon is a complete in-DRAM RowHammer mitigation. This code simulates an implementation of Panopticon in DDR5.☆15Jun 2, 2023Updated 3 years ago
- Software Transactional Objects☆56Apr 5, 2024Updated 2 years ago
- Utilizing root-finding methods such as Bisection Method, Fixed-Point Method, Secant Method, and Newton's Method to solve for the roots of…☆12Feb 17, 2025Updated last year
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Multi-layer agent orchestration. PM plans, specialists execute.☆17May 24, 2026Updated 5 months ago
- ☆13May 9, 2025Updated last year
- An extension to the core Scala library for functional programming.☆12Jun 7, 2018Updated 8 years ago
- [CVPR 2023] "TrojViT: Trojan Insertion in Vision Transformers" by Mengxin Zheng, Qian Lou, Lei Jiang☆15Jan 5, 2024Updated 2 years ago
- RamulatorSharp is a fast and flexible memory subsystem simulator implemented in C# and it can easily run on Linux, OS X, and Windows. The…☆11Jun 17, 2016Updated 10 years ago
- This repository is to provide graph mode execution with GPU+PIM in runtime.☆10Dec 29, 2022Updated 3 years ago
- Check incompatible SQL statements among multiple RDBs☆14Nov 26, 2013Updated 12 years ago
- A language built atop the Sparse Synchronous Model☆19Dec 23, 2023Updated 2 years ago
- Simple in-memory database, with multiple indices, range query, snapshot and (nested) transactions☆11Apr 24, 2015Updated 11 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.
- Event sourcing and CQRS toolkit with SQL persistence, projections, and subscriptions☆10Updated this week
- ☆17Apr 9, 2025Updated last year
- A simple libp2p DHT crawler☆16Jan 6, 2022Updated 4 years ago
- Concurrent (with OLC) Adaptive Radix Trie in Golang.☆13Jul 31, 2020Updated 6 years ago
- Create graphical user interfaces really quickly. Sweet!☆22Feb 5, 2025Updated last year
- Read the Transaction Log from SQL Server☆12Feb 19, 2012Updated 14 years ago
- Slooo: A Fail-slow Fault Injection Testing Framework☆10Nov 28, 2022Updated 3 years ago