🚀 Project Ideas
Generating project ideas…
Summary
- Provides static type checking for tensor shapes and dtypes across NumPy, PyTorch, JAX, and CuPy.
- Enables early detection of shape mismatches, reducing runtime errors in ML code.
Details
| Key |
Value |
| Target Audience |
ML engineers, data scientists, Python developers using tensors |
| Core Feature |
Static analysis of annotated tensor types, shape inference, integration with pyright/mypy |
| Tech Stack |
Python, mypy plugin, pyright plugin, AST parsing, type stubs for frameworks |
| Difficulty |
Medium |
| Monetization |
Hobby |
Notes
- Why HN commenters would love it: “Are there any good static (i.e. not runtime) type checkers for arrays and tensors? E.g. '16x64x256 fp16' in numpy, pytorch, jax, cupy, or whatever framework.” (Scene_Cast2)
- Potential for discussion or practical utility: shape inference strategies, performance impact, compatibility with existing type checkers.
Summary
- Merges Python type hints and contract libraries into a single decorator syntax, enabling optional runtime checks and static analysis.
- Reduces boilerplate and unifies syntax across static and runtime safety mechanisms.
Details
| Key |
Value |
| Target Audience |
Python developers who use contracts or type hints |
| Core Feature |
Decorator that accepts type hints and contract expressions, optional runtime enforcement, integration with mypy/pyright |
| Tech Stack |
Python, AST manipulation, decorator, optional Cython for speed |
| Difficulty |
Medium |
| Monetization |
Hobby |
Notes
- Why HN commenters would love it: “Pycontracts supports runtime type-checking and value constraints/assertions... Unfortunately, there's yet no unifying syntax between PyContracts and the newer python type annotations which MyPy checks at compile-type.” (westurner)
- Potential for discussion or practical utility: unifying syntax, performance trade‑offs, integration with existing tooling.
Summary
- A CI plugin that runs multiple type checkers, aggregates results, provides coverage metrics, and fails PRs on errors.
- Gives teams visibility into type safety and enforces type hygiene in pull requests.
Details
| Key |
Value |
| Target Audience |
Teams using Python with CI/CD pipelines |
| Core Feature |
GitHub Actions / GitLab CI integration, dashboard, coverage metrics, suggestions |
| Tech Stack |
Python, Docker, GitHub Actions, FastAPI backend, React frontend |
| Difficulty |
Medium |
| Monetization |
Revenue‑ready: subscription per repo |
Notes
- Why HN commenters would love it: “You can set up CI so that e.g. blocks PRs from being merged, just like any other test failure.” (dcreager)
- Potential for discussion or practical utility: coverage thresholds, integration with existing type checkers, cost‑benefit analysis.
