Repository Issues

cryspen/hax

A Rust verification tool

GitHub で見る
Stars
 (456 個のスター)
Forks
 (61 件のフォーク)
Indexed issues
 (5 件の索引済み Issue)
open beginner issues
 (5 件のオープンな初心者向け Issue)
最終索引
2026/08/13
最終 GitHub push
2026/07/02
ライセンス
Apache License 2.0
コントリビューションガイド
コントリビューションガイド
行動規範
行動規範はありません
主要言語
OCaml
PR merge metrics
 (PR metrics pending)
初心者向けラベル
good first issuehelp wanted

Issue

5 件のオープンな索引 Issue

オープン
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり

cryspen / hax · #218 · 2023/08/18 · OCaml · 456 個のスター

7 件のコメント0 件のリアクション0 人の担当者
オープン
Support `let` without initialization
enginehelp wantedkeep-openmarked-unimplementedunsupported-rust
おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルありコントリビューションガイドあり

cryspen / hax · #156 · 2023/06/23 · OCaml · 456 個のスター

0 件のコメント1 件のリアクション0 人の担当者
オープン
`loop {...}` (when not a `for` or `while`)
backendenginegood first issuekeep-openunsupported-rust
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり

cryspen / hax · #124 · 2023/06/06 · OCaml · 456 個のスター

2 件のコメント0 件のリアクション0 人の担当者
オープン
Attributes: deduplicate parent attributes
P2frontendgood first issuehelp wantedkeep-open
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり

cryspen / hax · #123 · 2023/06/06 · OCaml · 456 個のスター

4 件のコメント0 件のリアクション0 人の担当者
オープン
`while let .. = .. {}`
enginegood first issuehelp wantedkeep-openunsupported-rust
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり

cryspen / hax · #113 · 2023/06/02 · OCaml · 456 個のスター

1 件のコメント0 件のリアクション0 人の担当者