metreon-org

metreon-org/metreon

Metreon is a statically typed Domain Specific Language (DSL) that aims to verify execution contexts, effects, ownership, resource lifecycles, and asynchronous protocol topology in low-level GPU pipelines

4 good first / help-wanted issues · C++ · last activity Oct 7, 2026

1 stars 1 forks 1 watchers C++ MIT License
View on GitHub
4 Open Issues Need Help Last updated: Oct 7, 2026

Open Issues Need Help

View All on GitHub
enforce completion obligations for nonterminal resources at every exit 18 days ago
good first issue
metreon-org/metreon
1

Metreon is a statically typed Domain Specific Language (DSL) that aims to verify execution contexts, effects, ownership, resource lifecycles, and asynchronous protocol topology in low-level GPU pipelines

C++
Prevent context evidence from becoming a resource field 18 days ago
good first issue
metreon-org/metreon
1

Metreon is a statically typed Domain Specific Language (DSL) that aims to verify execution contexts, effects, ownership, resource lifecycles, and asynchronous protocol topology in low-level GPU pipelines

C++
`result = "valid"` in current graphir is forgeable 18 days ago
good first issue
metreon-org/metreon
1

Metreon is a statically typed Domain Specific Language (DSL) that aims to verify execution contexts, effects, ownership, resource lifecycles, and asynchronous protocol topology in low-level GPU pipelines

C++
Reject integer literals outside the destination type’s range 18 days ago
good first issue
metreon-org/metreon
1

Metreon is a statically typed Domain Specific Language (DSL) that aims to verify execution contexts, effects, ownership, resource lifecycles, and asynchronous protocol topology in low-level GPU pipelines

C++