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
- Transparent Paxos☆45Jun 5, 2019Updated 7 years ago
- Apache Directory Mavibot☆17Jun 2, 2026Updated last month
- Verification-Driven Development☆21Mar 26, 2021Updated 5 years ago
- ☆15Dec 28, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- DINAMITE LLVM Pass☆11May 24, 2017Updated 9 years ago
- ICSE2021 Submission☆13Aug 28, 2022Updated 3 years ago
- ☆11Oct 22, 2020Updated 5 years ago
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 4 years ago
- Verifying the SCION architecture using Gobra☆12Updated this week
- Clojure lens library, implements a small subset of ekmett's lens☆12Nov 29, 2018Updated 7 years ago
- Formal verification agent for design or implementation☆15Nov 18, 2025Updated 8 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- IDE Integration of Facebook Infer☆15Nov 9, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Verifier for effectful, higher-order programs☆19Jul 1, 2026Updated 3 weeks ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆12Feb 7, 2025Updated last year
- 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
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆16Nov 14, 2016Updated 9 years ago
- Language Server for Elm☆16Apr 1, 2019Updated 7 years ago
- ☆19Updated this week
- Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check☆10Jul 19, 2019Updated 7 years ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆79Dec 10, 2025Updated 7 months 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.
- Java Code Isolation☆17Apr 26, 2021Updated 5 years ago
- MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection - Replication Project☆16Mar 24, 2023Updated 3 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
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 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)☆25Mar 26, 2026Updated 4 months ago
- Code and architecture diagrams for performance testing a few API approaches on AWS☆10Apr 20, 2019Updated 7 years ago
- A JMM Cookbook for Java Developers(as opposed to a cookbook for Compiler Writers)☆12Jun 13, 2014Updated 12 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.
- Spark Custome Stream Source and Sink☆12Jan 19, 2019Updated 7 years ago
- Race Condition Running☆11Updated this week
- Dapr SDK to compose pluggable components in .Net.☆10Jul 10, 2025Updated last year
- Gain information about applications to inform deployments☆11Mar 3, 2022Updated 4 years ago
- Like jq, but with json pointers☆16Nov 30, 2025Updated 7 months ago
- Create an Amazon AWS Mesos cluster using Terraform☆12Feb 15, 2017Updated 9 years ago
- Azure Cosmos TLA+ specifications☆295Dec 14, 2023Updated 2 years ago