A replicated key value store that achieves eventual consistency through the use of conflict-free replicated data types (CRDTs). Individual project for the distributed systems graduate course at UBC.
☆12Mar 2, 2021Updated 5 years ago
Alternatives and similar repositories for chevrotain
Users that are interested in chevrotain 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 collaborative machine learning framework that operates through Tor.☆13Jun 1, 2020Updated 6 years ago
- Verify the communication of your microservices by writing contracts for your RPCs☆16Nov 8, 2020Updated 5 years ago
- Go basic utility library with futures, iterators, pubsub programming, ergonomic data types, and pipeline programming. Has no third-party …☆12Updated this week
- An LLM-first programming language.☆36Oct 6, 2025Updated 9 months ago
- Efficient techniques for mining LTL formulae over linear input traces☆18Apr 12, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Modbat is a model-based API tester for stateful systems.☆23May 17, 2023Updated 3 years ago
- Demonstrates how to manage Azure AD B2C users via Microsoft Graph using MSAL.js and MSAL Node.☆14May 17, 2024Updated 2 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 9 years ago
- A CRDT based collaborative markdown editor.☆16Sep 17, 2022Updated 3 years ago
- A minimalist personal blogging system that natively supports Markdown, LaTeX, and code highlighting.☆22Apr 8, 2024Updated 2 years ago
- ICSE2021 Submission☆13Aug 28, 2022Updated 3 years ago
- parse-curl.js golang version. Parse curl commands, returning an object representing the request. 解析 curl 命令，返 回一个表示请求的对象☆15Jan 12, 2023Updated 3 years ago
- cpsc490 - A seminar on programming practice; workshops and materials☆10May 1, 2018Updated 8 years ago
- Maybe the tiniest HTTP proxy that also has a cache☆11Dec 19, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 2022 ECS CloudBuild Distributed Cache Contest - Final Round https://tianchi.aliyun.com/competition/entrance/531982/introduction☆17Dec 8, 2022Updated 3 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 6 years ago
- ☆11Oct 22, 2020Updated 5 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆16Dec 1, 2016Updated 9 years ago
- ☆28Jul 17, 2020Updated 6 years ago
- Formal verification agent for design or implementation☆15Nov 18, 2025Updated 8 months ago
- A Simple Operating System Written by Me for i386-cpu, Created From Scratch☆13Sep 24, 2018Updated 7 years ago
- zfs-fuse☆11Feb 10, 2019Updated 7 years ago
- A friend can betray you, but an enemy will always stay the same☆13May 1, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SHARDS implementation in C.☆19Aug 4, 2018Updated 7 years ago
- Deep Learning Summer School 2017 @ University of Tehran, Iran☆28Oct 17, 2017Updated 8 years ago
- Simple starter code for cpsc304 course project☆11Aug 7, 2020Updated 5 years ago
- Hashicorp Vault HA cluster based on Raft Consensus Algorithm☆15Aug 25, 2021Updated 4 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆16Nov 14, 2016Updated 9 years ago
- rwlock with writer priority and optimistic reads☆32Feb 1, 2015Updated 11 years ago
- parse curl bash to code of golang☆19Aug 3, 2025Updated 11 months ago
- A crash course on full-stack software development with Docker, PostgreSQL, Node.js & React that is intended for beginners☆15May 9, 2021Updated 5 years ago
- ☆22Jan 10, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Concerns to help managing View Component attributes☆17Aug 2, 2022Updated 3 years ago
- Implementation based on OSDI paper☆20Feb 11, 2018Updated 8 years ago
- Modelizer - is a framework for learning models from BlackBox systems using Input-Output examples☆22Apr 9, 2026Updated 3 months ago
- A brief introduction to EIT Digital Master School program for Iranian prospective master students.☆36Jun 28, 2021Updated 5 years ago
- Extremely fast non-cryptographic hash algorithm☆22May 30, 2024Updated 2 years ago
- Fast algorithm for finding Farsi palindrome phrases☆11Aug 13, 2019Updated 6 years ago
- MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection - Replication Project☆16Mar 24, 2023Updated 3 years ago