☆101Apr 3, 2018Updated 7 years ago
Alternatives and similar repositories for CMPS232-Fall16
Users that are interested in CMPS232-Fall16 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆53May 6, 2017Updated 8 years ago
- Append-only key-value database on a distributed shared-log☆52Aug 14, 2024Updated last year
- An implementation of LDFI☆129Nov 4, 2018Updated 7 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆25Nov 22, 2022Updated 3 years ago
- resizable hashing strategy for large-scale storage☆25Oct 6, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Eventuate chaos testing utilities☆28Sep 3, 2018Updated 7 years ago
- Distributed File System server implemented using RAFT Algorithm.☆17Jul 12, 2019Updated 6 years ago
- Backstopper is a framework-agnostic API error handling and (optional) model validation solution for Java 7 and up.☆42Oct 10, 2025Updated 5 months ago
- ☆13Jul 23, 2018Updated 7 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- Code for our paper "Evaluating SIMD Compiler-Intrinsics for Database Systems"☆16Jul 5, 2023Updated 2 years ago
- ☆3,422Feb 9, 2021Updated 5 years ago
- A simulation language☆21Dec 21, 2020Updated 5 years ago
- Harry for Apache Cassandra®☆56Aug 23, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Lagom eye for the Akka guy☆13Mar 14, 2016Updated 10 years ago
- Kotlin recursion schemes with Arrow☆22Jan 25, 2019Updated 7 years ago
- repositories of my talks☆278Jan 11, 2020Updated 6 years ago
- An Erlang C Node implemented with Zig☆12Apr 6, 2023Updated 2 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆82Feb 10, 2023Updated 3 years ago
- Paxos Made Moderately Complex☆192Aug 1, 2024Updated last year
- Software and Hardware Characterization of Streaming Graph Analytics Workloads☆14Aug 15, 2022Updated 3 years ago
- ☆22Aug 17, 2021Updated 4 years ago
- No longer in use; all functionality is now merged into Basho's riak-java-client☆26Apr 9, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Demonstrate schema-less serialization and schema evolution with Akka Persistence and Avro☆14Feb 16, 2018Updated 8 years ago
- Calculate CdA (Coefficient of Drag) and crr (tire rolling resistance) based on field testing data in the form of Garmin or compatible .FI…☆13Apr 27, 2025Updated 11 months ago
- libkestrel☆46May 12, 2013Updated 12 years ago
- LoRa 2.4Ghz Gateway - Linux host Hardware Abstraction Layer, and tools (Packet Forwarder...)☆17Dec 22, 2020Updated 5 years ago
- Typed, Functional Scala SQS Consumer☆14Dec 16, 2022Updated 3 years ago
- Shelly is an Erlang/OTP application makes it simple to have a remote maintenance shell into your application☆17Apr 11, 2023Updated 2 years ago
- Test data integrity by comparing against an Oracle running in parallel☆32Mar 21, 2026Updated last week
- A testing framework for distributed systems that can inject different types of network-partitioning faults☆16Dec 14, 2021Updated 4 years ago
- Fast Base64 encoding/decoding NIF for Erlang☆12Sep 9, 2020Updated 5 years ago
- 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.
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- collection of hash functions for Erlang applications☆13Aug 3, 2018Updated 7 years ago
- ☆14Mar 4, 2015Updated 11 years ago
- Erlang/Rserve communication interface☆36Jun 27, 2013Updated 12 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 6 years ago
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year