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:
- Distributed Systems Labs and Framework☆1,724Apr 1, 2026Updated 6 months ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 6 years ago
- Apache Directory Mavibot☆17Jun 2, 2026Updated 4 months ago
- Verification-Driven Development☆21Mar 26, 2021Updated 5 years ago
- ☆12Dec 14, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆15Dec 28, 2017Updated 8 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 9 years ago
- ICSE2021 Submission☆13Aug 28, 2022Updated 4 years ago
- ☆11Oct 22, 2020Updated 5 years ago
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 5 years ago
- Hugo theme using Adobe coral-spectrum☆17Jul 17, 2026Updated 2 months ago
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated 2 weeks ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆17Dec 1, 2016Updated 9 years ago
- Clojure lens library, implements a small subset of ekmett's lens☆12Nov 29, 2018Updated 7 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.
- 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 10 months ago
- HTTP server that manages verification requests to different tools from the Viper tool stack.☆16Oct 2, 2026Updated last week
- A library for batch drawing custom types of sprites or small meshes in LibGDX☆13Oct 15, 2023Updated 2 years ago
- IDE Integration of Facebook Infer☆14Nov 9, 2022Updated 3 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
- Verifier for effectful, higher-order programs☆19Jul 1, 2026Updated 3 months ago
- A collaborative machine learning framework that operates through Tor.☆13Jun 1, 2020Updated 6 years ago
- hubbling the universe nebula by nebula☆19Nov 18, 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.
- Virtual Private Database toolset for Postgres☆12Jun 6, 2021Updated 5 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆16Nov 14, 2016Updated 9 years ago
- (DEPRECATED) AWT software-rendered 3D engine, predecessor to NEO3D (by @tarbaII)☆15May 30, 2026Updated 4 months ago
- ☆21Jul 24, 2026Updated 2 months 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☆20Apr 9, 2026Updated 6 months ago
- Jenkins plugin for automated documentation uploading to Confluence [Mirror]☆16Apr 10, 2019Updated 7 years ago
- ☆17Jan 23, 2026Updated 8 months ago
- MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection - Replication Project☆16Mar 24, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Firefox web-ext for hide unwanted DuckDuckGo search results☆21Apr 12, 2020Updated 6 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
- 🌦️ Domain Ranker☆16Sep 7, 2019Updated 7 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