Show HN: Talos – Open-source WASM interpreter for Lean(github.com)78 points by mfornet 4 months ago | 20 comments
Show HN: Katharos Functional programming and CSP-style concurrency for Python(github.com)25 points by kamalf 2 months ago | 7 comments
Show HN: Docx-CLI: agents read/edit Word docs using 1/2 the time and tokens(github.com)53 points by kirillklimuk 3 months ago | 23 comments
Kubereboot/Kured: Kubernetes Reboot Daemon(github.com)15 points by ankitg12 5 months ago | 5 comments
Show HN: Klavis AI – Open-source MCP integration for AI applications(github.com)66 points by wirehack 1 year ago | 47 comments
Show HN: Klaw.sh – Kubernetes for AI agents(github.com)48 points by eftalyurtseven 8 months ago | 33 comments
