A framework for correctly implementing stateful microservice applications on serverless using standard Python.
☆13Jan 5, 2023Updated 3 years ago
Alternatives and similar repositories for mu2sls
Users that are interested in mu2sls are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A parallel programming model for online applications with complex synchronization requirements.☆17Jun 8, 2022Updated 4 years ago
- ☆53Jan 18, 2023Updated 3 years ago
- A caching framework for microservice applications☆24Apr 22, 2024Updated 2 years ago
- Example Full-stack Serverless project using ReactJS, Momento Topics, Step Functions, API Gateway, ECS, Lambda, DynamoDB with streams, and…☆18Sep 30, 2024Updated 2 years ago
- Library for structural temporal logic proofs over coinductive, free monads with effects and choice.☆11Updated this week
- 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.
- Simple memory benchmarking of Intel SGX☆12Aug 22, 2016Updated 10 years ago
- ☆12Mar 17, 2022Updated 4 years ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 10 years ago
- The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.☆48Oct 26, 2026Updated last week
- GitHub copilot cli suggest☆10Nov 15, 2023Updated 2 years ago
- A benchmark suite for performance-oriented shell-optimization research☆36Sep 21, 2026Updated last month
- ☆12Jan 12, 2022Updated 4 years ago
- A smarter tool to automatically generate FFI bindings for C libraries☆11Sep 8, 2014Updated 12 years ago
- Benchmarking Machine Learning Model Inference in Data Streaming Solutions☆10Jun 12, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Sketch and LSH Index library for Java, including OPH methods as well as the Lazo method☆18Dec 24, 2023Updated 2 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- Pung: a fully untrusted private communication system☆34May 15, 2020Updated 6 years ago
- Rollback protection for confidential services☆35Aug 24, 2026Updated 2 months ago
- Master thesis - reproducing state-of-the-art schema matching algorithms☆15Jul 6, 2023Updated 3 years ago
- A consumer + rpc interface for asynchronous task execution☆18Updated this week
- Porpoise is a tool to port applications to Intel SGX enclaves.☆10Sep 27, 2021Updated 5 years ago
- ☆14Dec 31, 2024Updated last year
- ☆14Sep 7, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Experimenting with database engines and related structures, algorithms and concepts.☆16Feb 15, 2026Updated 8 months ago
- The example of MQTT microservices based system build on top of Node.js, Go (Golang), Java, gRPC and Apache Kafka☆11Feb 3, 2018Updated 8 years ago
- Building blocks for Time Series Database (TSDB) in Go☆10Jul 8, 2020Updated 6 years ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- ☆13Apr 17, 2023Updated 3 years ago
- Task scheduler with high availability.☆12Jul 26, 2021Updated 5 years ago
- A Database System for Research and Fast Prototyping☆119Nov 11, 2025Updated 11 months ago
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 4 years ago
- Implicit monadic dataflow parallelism☆11Sep 26, 2019Updated 7 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.
- xoroshiro128+ implementation in Rust☆11Jun 5, 2020Updated 6 years ago
- ☆14Jan 20, 2025Updated last year
- A model-based QuickCheck test of ptrees (Patricia trees)☆13Jul 15, 2019Updated 7 years ago
- Portals is a framework for stateful serverless apps, unifying dataflow streaming with actors☆21Nov 15, 2023Updated 2 years ago
- List of PyTorch repositories for visual question answering☆15Jul 4, 2019Updated 7 years ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- Nim wrapper for the nats.c - without JetStream and without KV yet☆12May 24, 2023Updated 3 years ago