A graphical, time-traveling debugger for distributed systems
☆31Nov 28, 2021Updated 4 years ago
Alternatives and similar repositories for oddity
Users that are interested in oddity are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 6 years ago
- Verification-Driven Development☆21Mar 26, 2021Updated 5 years ago
- ☆12Dec 14, 2019Updated 6 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 9 years ago
- Oh no! Yet another Kafka operator for Kubernetes☆22Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 5 years ago
- Hugo theme using Adobe coral-spectrum☆17Jul 17, 2026Updated last month
- Verifying the SCION architecture using Gobra☆12Updated this week
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- Edit code in IntelliJ, eval/run in Zeppelin notebook☆18Mar 17, 2019Updated 7 years ago
- Formal verification agent for design or implementation☆16Nov 18, 2025Updated 9 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 7 years ago
- A collaborative machine learning framework that operates through Tor.☆13Jun 1, 2020Updated 6 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.
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆12Feb 7, 2025Updated last year
- hubbling the universe nebula by nebula☆19Nov 18, 2022Updated 3 years ago
- Virtual Private Database toolset for Postgres☆12Jun 6, 2021Updated 5 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- Verify the communication of your microservices by writing contracts for your RPCs☆16Nov 8, 2020Updated 5 years ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆83Dec 10, 2025Updated 8 months ago
- Java Code Isolation☆17Apr 26, 2021Updated 5 years ago
- Website where portuguese political controversies can be seen on a calendar to allow seeing it in a bigger picture.☆14Jan 11, 2023Updated 3 years ago
- Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems☆19Mar 6, 2025Updated last year
- 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.
- 🌦️ Domain Ranker☆16Sep 7, 2019Updated 7 years ago
- A coarse-grained Dynamic Analysis Framework☆23Jan 24, 2026Updated 7 months ago
- golang implementation of futures/promises☆16Feb 12, 2023Updated 3 years ago
- ☆19Jan 9, 2024Updated 2 years ago
- ☆15Feb 24, 2022Updated 4 years ago
- Plumbing solutions to connect clouds☆21Apr 5, 2018Updated 8 years ago
- Prototype implementation of SwiftPaxos (NSDI 2024)☆25Aug 17, 2026Updated 3 weeks ago
- Code and architecture diagrams for performance testing a few API approaches on AWS☆10Apr 20, 2019Updated 7 years ago
- Form objects to coerce user input using your value objects☆11Oct 9, 2015Updated 10 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.
- A basic Docker-based installation of TVM☆11Jun 23, 2022Updated 4 years ago
- A JMM Cookbook for Java Developers(as opposed to a cookbook for Compiler Writers)☆12Jun 13, 2014Updated 12 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆27Feb 26, 2024Updated 2 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- Dapr SDK to compose pluggable components in .Net.☆10Jul 10, 2025Updated last year
- AVX-2 vectorised 8-bit positional popcount for Go☆23Aug 28, 2020Updated 6 years ago
- Like jq, but with json pointers☆16Nov 30, 2025Updated 9 months ago