Repository Issues

cryspen/hax

A Rust verification tool

View on GitHub
Stars
 (456 stars)
Forks
 (61 forks)
Indexed issues
 (5 indexed issues)
open beginner issues
 (5 open beginner issues)
Latest indexed
Aug 13, 2026
Last GitHub push
Jul 2, 2026
License
Apache License 2.0
Contributing guide
Contributing guide
Code of conduct
No code of conduct
Dominant language
OCaml
PR merge metrics
 (PR metrics pending)
Beginner labels
good first issuehelp wanted

Issues

5 indexed issues

Open
Support `let` without initialization
enginehelp wantedkeep-openmarked-unimplementedunsupported-rust
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelContributing guide available

cryspen / hax · #156 · Jun 23, 2023 · OCaml · 456 stars

0 comments1 reaction0 assignees
Open
`loop {...}` (when not a `for` or `while`)
backendenginegood first issuekeep-openunsupported-rust
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available

cryspen / hax · #124 · Jun 6, 2023 · OCaml · 456 stars

2 comments0 reactions0 assignees
Open
Attributes: deduplicate parent attributes
P2frontendgood first issuehelp wantedkeep-open
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available

cryspen / hax · #123 · Jun 6, 2023 · OCaml · 456 stars

4 comments0 reactions0 assignees
Open
`while let .. = .. {}`
enginegood first issuehelp wantedkeep-openunsupported-rust
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available

cryspen / hax · #113 · Jun 2, 2023 · OCaml · 456 stars

1 comment0 reactions0 assignees