Chủ sở hữu
FStarLang
Đã lập chỉ mục 14 kho mã nguồn · Xem trên GitHub
-
FStar
A Proof-oriented Programming Language
F* · 3109 star
-
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
OCaml · 520 star
-
fstar-mode.el
Emacs support for F*
Emacs Lisp · 71 star
-
steel
The Steel separation logic library for F*
F* · 40 star
-
AlgoStar
Auto formalization of the CLRS text book
F* · 40 star
-
pulse
The Pulse separation logic DSL for F*
36 star
-
fstar-vscode-assistant
An interactive mode for F* in VS Code
TypeScript · 27 star
-
VimFStar
A Vim mode for FStar
Vim Script · 26 star
-
kuiper
GPU kernel verification with Pulse
F* · 15 star
-
pal
Proof Annotation Language: inline Pulse annotations for C
Rust · 11 star
-
fstar-layer
Spacemacs layer for fstar (wrapper for fstar-mode.el)
Emacs Lisp · 10 star
-
pulse-verified-gc
Verified garbage collectors in Pulse
F* · 9 star
-
fstarlang.github.io
The website of all things F*
HTML · 8 star
-
Python · 2 star
Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
Maintainer thường phản hồi trong vòng 1 ngày
-
kind/unsoundness
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
FStarLang/FStar#4600 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Unboxed SMT encodingĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
FStarLang/FStar#4598 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
FStarLang/FStar#4592 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
FStarLang/FStar#4591 · 3 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Regression: `f () = (y <: _)` infers the refinement from f's Pure postcondition, rejecting yĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
FStarLang/FStar#4582 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 40/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 65/100
Maintainer thường phản hồi trong vòng 1 ngày
-
kind/unsoundness
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
FStarLang/FStar#4562 · 4 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Extraction of float zero/oneĐang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
FStarLang/kuiper#126 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 42/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 92/100
-
bug
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 58/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Generated anonymous struct names collide with explicit C tags and silently change field typesĐang mởbug
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100
Maintainer thường phản hồi trong vòng 1 ngày
-
bug
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 45/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
Maintainer thường phản hồi trong vòng 1 ngày
-
enhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 74/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 68/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 84/100
-
Function-pointer wrappers drop all pointee postconditions (and silently accept false `_old` contracts)Có thể làm lại được @hei411 đã nhận 31 ngày trước và không có pull request nào đang mở. Đang mở
FStarLang/pal#279 · 1 người được giao ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
Maintainer thường phản hồi trong vòng 1 ngày
-
enhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 68/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
FStarLang/FStar#4488 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
kind/crash
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100
Maintainer thường phản hồi trong vòng 1 ngày
-
`inspect_pack_sigelt` is false for *every* `Sg_Inductive`: the reflection API proves `False`Đang mởkind/unsoundness
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
Maintainer thường phản hồi trong vòng 1 ngày
-
kind/crash
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100
Maintainer thường phản hồi trong vòng 1 ngày
-
`inspect_pack_inv` is false at `Tv_UInst fv []` and `Tv_Unsupp`: the reflection API proves `False`Đang mởkind/unsoundness
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 32/100
Maintainer thường phản hồi trong vòng 1 ngày
-
kind/crash
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 68/100
Maintainer thường phản hồi trong vòng 1 ngày
-
kind/unsoundness
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 65/100
Maintainer thường phản hồi trong vòng 1 ngày
-
kind/unsoundness
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 38/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
FStarLang/FStar#4469 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
FStarLang/FStar#4467 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
enhancement
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 64/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100
Maintainer thường phản hồi trong vòng 1 ngày
-
kind/bug
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100
Maintainer thường phản hồi trong vòng 1 ngày
-
kind/bug
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
FStarLang/FStar#4443 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
kind/bug
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 74/100
Maintainer thường phản hồi trong vòng 1 ngày
-
NBE improvementsCó thể làm lại được @nikswamy đã nhận 46 ngày trước và không có pull request nào đang mở. Đang mở
FStarLang/FStar#4432 · 1 người được giao ·
Maintainer thường phản hồi trong vòng 1 ngày
Đang hiển thị 100 mục mới nhất
Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.