A collaboration with Proof · 1 public repo per week

Are you an open source maintainer? We can help your project.

Completely free for open source repositories.

Proof turns your repository into a graph of requirements that humans and agents can both use. It finds as many bugs as it can, and gives you the tools to triage GitHub issues and pull requests from contributors — including community bug reports and security reports.

Apply free for OSS
eclipse-timpani

eclipse-timpani/timpani26

Eclipse timpani provides Distributed real-time scheduling system with time-triggered execution capabilities with AI Workload.

1 good first / help-wanted issue · C · last activity Aug 31, 2026

0 stars 2 forks 0 watchers C MIT License
automotive containers orchestration timpani
View on GitHub
1 Open Issue Need Help Last updated: Aug 31, 2026

Open Issues Need Help

View All on GitHub
Requesting triage by Project Leads/Committers and GitHub org admins for eclipse-timpani about 12 hours ago
help wanted
eclipse-timpani/timpani26
0

Eclipse timpani provides Distributed real-time scheduling system with time-triggered execution capabilities with AI Workload.

C
#automotive#containers#orchestration#timpani