倉庫議題

cryspen/hax

A Rust verification tool

在 GitHub 查看
星標
 (456 顆星)
分叉
 (61 個分叉)
已索引議題
 (5 個已索引議題)
個開放新手議題
 (5 個開放的新手議題)
最近索引
2026年8月20日
最近 GitHub push
2026年7月2日
授權條款
Apache License 2.0
貢獻指南
貢獻指南
行為準則
沒有行為準則
主要語言
OCaml
PR 合併指標
 (平均合併 4天 22小時) (30 天內合併 42 個 PR)
新手標籤
good first issuehelp wanted

議題

5 個開放索引議題

開放
Support `let` without initialization
enginehelp wantedkeep-openmarked-unimplementedunsupported-rust
為什麼推薦尚無負責人 · 尚無留言
尚無負責人尚無留言帶有初學者友善標籤提供貢獻指南

cryspen / hax · #156 · 2023年6月23日 · OCaml · 456 顆星

0 則留言1 個反應0 位負責人
開放
`loop {...}` (when not a `for` or `while`)
backendenginegood first issuekeep-openunsupported-rust
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤提供貢獻指南

cryspen / hax · #124 · 2023年6月6日 · OCaml · 456 顆星

2 則留言0 個反應0 位負責人
開放
Attributes: deduplicate parent attributes
P2frontendgood first issuehelp wantedkeep-open
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤提供貢獻指南

cryspen / hax · #123 · 2023年6月6日 · OCaml · 456 顆星

4 則留言0 個反應0 位負責人
開放
`while let .. = .. {}`
enginegood first issuehelp wantedkeep-openunsupported-rust
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤提供貢獻指南

cryspen / hax · #113 · 2023年6月2日 · OCaml · 456 顆星

1 則留言0 個反應0 位負責人