GeezerVison is showing github.com — FStarLang
Pinned
Loading
A Proof-oriented Programming Language
F*
3.1k
269
KaRaMeL is a tool for extracting low-level F* programs to readable C code
OCaml
528
75
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C
C#
Emacs Lisp
F*
HTML
JavaScript
OCaml
Python
Ruby
Rust
Shell
TypeScript
Vim Script
Sort
Showing 10 of 34 repositories
pal
Public
Proof Annotation Language: inline Pulse annotations for C
FStarLang/pal's past year of commit activity
Rust
14
Apache-2.0
4
16
8
Updated Nov 12, 2026
FStar
Public
A Proof-oriented Programming Language
FStarLang/FStar's past year of commit activity
karamel
Public
KaRaMeL is a tool for extracting low-level F* programs to readable C code
FStarLang/karamel's past year of commit activity
OCaml
528
Apache-2.0
75
48
11
Updated Nov 12, 2026
pal-csharp
Public
Proof Annotation Language for C#
FStarLang/pal-csharp's past year of commit activity
C#
0
Apache-2.0
3
0
4
Updated Nov 12, 2026
FStarLang/FStar-nightly's past year of commit activity
0
0
0
0
Updated Nov 12, 2026
hacl-pulse
Public
Formally verified cryptography library for Pulse/F*
FStarLang/hacl-pulse's past year of commit activity
F*
1
Apache-2.0
0
0
1
Updated Nov 12, 2026
atlas
Public
A verified implementation of TLS in Pulse, programmed and verified by agents
FStarLang/atlas's past year of commit activity
F*
2
0
0
1
Updated Nov 11, 2026
kuiper
Public
GPU kernel verification with Pulse
FStarLang/kuiper's past year of commit activity
F*
30
4
7
4
Updated Nov 11, 2026
FStarLang/pulse-verified-gc's past year of commit activity
F*
10
1
7
8
Updated Nov 10, 2026
AlgoStar
Public
Auto formalization of the CLRS text book
FStarLang/AlgoStar's past year of commit activity
F*
40
3
7
3
Updated Nov 6, 2026