☆11Nov 26, 2024Updated last year
Alternatives and similar repositories for disalg-bib-dict
Users that are interested in disalg-bib-dict are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Apr 10, 2025Updated last year
- Run TLC in cmd☆15Jan 20, 2026Updated 9 months ago
- ☆12Aug 18, 2026Updated 2 months ago
- Specifying and Verfying Zab using TLA+☆11Dec 12, 2021Updated 4 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- CRDTs implemented in Redis☆55Mar 14, 2023Updated 3 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 5 years ago
- CrashTuner(SOSP2019)☆30Aug 28, 2019Updated 7 years ago
- A support library for building parallel systems, including 2nd-level schedulers that efficiently manage user level threads☆10Aug 27, 2015Updated 11 years ago
- What makes Paxos tick?☆11Apr 16, 2025Updated last year
- SIGPLAN Empirical Evaluation Committee☆11Oct 25, 2018Updated 8 years ago
- 上海交通大学软件学院课程操作系统(SE3357)笔记☆11Nov 13, 2022Updated 3 years ago
- Decompilation of the EventFlow (evfl) library☆17Updated this week
- Computer Network Lab Manual☆11May 26, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Prototype of FPaxos, built upon LibPaxos3☆48Mar 14, 2020Updated 6 years ago
- ☆13Jan 16, 2019Updated 7 years ago
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 11 years ago
- JMC - Java Model Checker☆78Updated this week
- PLCT实验室2020年开放日活动的演讲资料☆13Dec 29, 2020Updated 5 years ago
- A stable hashing algorithm used by rustc: cross-platform, deterministic, not secure☆12Jul 26, 2025Updated last year
- Official Repository for "WHEN TO ACT, WHEN TO WAIT: Modeling Structural Trajectories for Intent Triggerability in Task-Oriented Dialogue"…☆11Oct 7, 2025Updated last year
- ☆51Mar 13, 2024Updated 2 years ago
- Kubernetes adapter for Universal Resource Broker☆19Jul 11, 2019Updated 7 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.
- blog-cn, blog-en☆19Oct 23, 2018Updated 8 years ago
- Typecho 评论邮件提醒插件☆21Jul 1, 2020Updated 6 years ago
- A toolkit to develop distributed systems☆15Nov 20, 2022Updated 3 years ago
- A prototyping environment that runs an emulated NVMe device☆14Oct 6, 2017Updated 9 years ago
- Implementation of Monte Carlo Word Movers Distance in Python with TensorFlow☆12Sep 12, 2016Updated 10 years ago
- A testing framework for distributed systems that can inject different types of network-partitioning faults☆16Dec 14, 2021Updated 4 years ago
- This repository compiles a list of papers/resources related to the graph retrieval-augmented generation! Star⭐ the repo and follow me if …☆10Dec 7, 2024Updated last year
- Memory Expansion for the IBM PS/1 2121 80386 PC☆13Jan 9, 2022Updated 4 years ago
- Benchmark for evaluation of LLMs on concurrency bug fixing tasks☆14Mar 11, 2026Updated 7 months ago
- 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.
- A simple implementation of Google Heracles System (isca15).☆10Jun 8, 2020Updated 6 years ago
- A formatter for TLA+ specs☆15Oct 14, 2026Updated 3 weeks ago
- Crash Consistency Checker☆11Jul 30, 2016Updated 10 years ago
- Bridging Immutable and Mutable Abstractions for Distributed Data Analytics☆12May 15, 2019Updated 7 years ago
- A scriptable, data-driven Rust test framework using golden masters☆14Jul 29, 2026Updated 3 months ago
- ☆14Oct 30, 2025Updated last year
- Final Project Instructions for Stanford CS248☆15Mar 3, 2026Updated 8 months ago