cryspen/bertie
View on GitHubBertie TLS 1.3 Implementation
- Stars
- 138
- Forks
- 5
- Open beginner issues
- 0
- Indexed issues
- 26
- Dominant language
- F*
- License
- Apache-2.0
- Last GitHub push
- Oct 9, 2025
- Latest indexed
- Sep 15, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- Code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
-
ci
-
cryspen/bertie#13 · 0 comments · 0 reactions · 0 assignees ·
-
Correctness Proofs Open
cryspen/bertie#14 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
cryspen/bertie#30 · 2 comments · 0 reactions · 0 assignees ·
-
enhancement
cryspen/bertie#31 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement question
cryspen/bertie#32 · 0 comments · 0 reactions · 0 assignees ·
-
cryspen/bertie#50 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
-
Connection issues Open
cryspen/bertie#52 · 0 comments · 0 reactions · 0 assignees ·
-
question
cryspen/bertie#53 · 0 comments · 0 reactions · 0 assignees ·
-
cryspen/bertie#54 · 0 comments · 0 reactions · 0 assignees ·
-
cryspen/bertie#64 · 0 comments · 0 reactions · 0 assignees ·
-
cryspen/bertie#72 · 0 comments · 0 reactions · 0 assignees ·
-
cryspen/bertie#73 · 0 comments · 0 reactions · 0 assignees ·
-
bug
-
Pin Bogo Opentests
cryspen/bertie#97 · 0 comments · 0 reactions · 0 assignees ·
-
ci enhancement
cryspen/bertie#106 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
-
bug
cryspen/bertie#110 · 0 comments · 0 reactions · 0 assignees ·
-
bug
cryspen/bertie#111 · 0 comments · 0 reactions · 0 assignees ·
-
cryspen/bertie#113 · 0 comments · 0 reactions · 0 assignees ·
-
cryspen/bertie#129 · 1 comment · 0 reactions · 0 assignees ·
-
cryspen/bertie#141 · 0 comments · 0 reactions · 0 assignees ·
-
cryspen/bertie#155 · 0 comments · 0 reactions · 0 assignees ·
-
bug
cryspen/bertie#161 · 0 comments · 0 reactions · 0 assignees ·