QEDGen

QEDGen/qedsvm

Execute and verify compiled Solana sBPF programs with a Lean 4 reference model

2 good first / help-wanted issues · Lean · last activity Oct 25, 2026

20 stars 3 forks 20 watchers Lean MIT License
View on GitHub
2 Open Issues Need Help Last updated: Oct 25, 2026

Open Issues Need Help

View All on GitHub
Fix p_token fixture provenance in tests/fixtures/README.md 2 days ago
documentation good first issue
QEDGen/qedsvm
20

Execute and verify compiled Solana sBPF programs with a Lean 4 reference model

Lean
Add diff::mollusk_to_qedsvm() converter under diff-mollusk feature 5 months ago
enhancement good first issue rust
QEDGen/qedsvm
20

Execute and verify compiled Solana sBPF programs with a Lean 4 reference model

Lean