MapAnything

Universal Feed-Forward Metric 3D Reconstruction

https://github.com/facebookresearch/map-anything

enso

enso is a functional programming framework for Python.

https://gitlab.com/evansemenoff/enso

OM1

Modular AI runtime for robots.

https://github.com/OpenMind/OM1

How Well Do New Python Type Checkers Conform? A Deep Dive into Ty, Pyrefly, and Zuban

The Python type checking landscape in 2025 includes three new Rust-based tools: Astral's ty, Meta's pyrefly, and Zuban. Ty emphasizes gradual adoption with fewer false positives, pyrefly focuses on aggressive inference to catch more issues early, and Zuban aims for seamless mypy compatibility; while conformance tests reveal differences, all show promise for real-world Python development.

https://sinon.github.io/future-python-type-checkers/