ontologyportal

ontologyportal/sigma-rs

Rust version of Sigma

4 good first / help-wanted issues · Rust · last activity Aug 16, 2026

2 stars 1 forks 2 watchers Rust GNU General Public License v3.0

4 Open Issues Need Help Last updated: Aug 16, 2026

Open Issues Need Help

View All on GitHub

Gamification of SUMO Contributions 26 days ago

enhancement help wanted question web-ui

ontologyportal/sigma-rs

2

Rust version of Sigma

Rust

Higher Order Theorem Proving 26 days ago

enhancement help wanted backend

ontologyportal/sigma-rs

2

Rust version of Sigma

Rust

Cloud Save Feature 26 days ago

enhancement help wanted web-ui

ontologyportal/sigma-rs

2

Rust version of Sigma

Rust

Error + Contradiction Free Before Pull Request Submission about 1 month ago

enhancement help wanted question

ontologyportal/sigma-rs

2

Rust version of Sigma

Rust