ods
Follow
Stars
Collecting examples of unsoundness in the Python type system
The missing open-source Kubernetes UI with a built-in MCP server for AI agents. See what's broken, why, and what changed. Issues, Topology, event timeline, Helm, GitOps, live service traffic, and c…
Entity-level git merge driver. Resolves false conflicts git invents when independent agents edit the same file. ~95% reduction vs. line-based merge.
Semantic version control => entity-level diffs, blame, and impact analysis on top of git. 28 languages via tree-sitter. Built for coding agents.
Find the local LLM that actually runs and performs best on your hardware. Ranked by real, recency-aware benchmarks, not parameter count. One command, run it instantly.
A Rust-based Python test runner with a Jest-style API
GitHub Actions Cache Native Malware - for Educational and Research Purposes only.
π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.
Idempotent schema management for MySQL, PostgreSQL, SQLite, and SQL Server
Go library for diffing Postgres schemas and generating SQL migrations
A Git-compatible VCS that is both simple and powerful
Produce redistributable builds of Python
Borgo is a statically typed language that compiles to Go.
Documentation that simply works
Pytest plugin for testing examples in docstrings and markdown files.
Repository hosting some Dockerfile used for external dependencies
manylinux2014 and manylinux_2_28 aarch64/armv7l/s390x/ppc64/ppc64le cross compilation docker image
Save time and cost when using GitHub Actions
PostgreSQL Languages AST and statements prettifier: master branch covers PG10, v2 branch covers PG12, v3 covers PG13, v4 covers PG14, v5 covers PG15, v6 covers PG16, v7 covers PG17, v8 covers PG18
An extremely fast Python linter and code formatter, written in Rust.
This bot can generate Joker numbers and give you the latest lottery results. You could use this bot without installation: @opap_jokerbot