Movatterモバイル変換

Showing 10 of 20 repositories

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 456Apache-2.0 66 40 10 UpdatedJul 8, 2025
pulse Public
The Pulse separation logic DSL for F*
FStarLang/pulse’s past year of commit activity
F* 20Apache-2.0 9 63 11 UpdatedJul 8, 2025
FStar-nightly Public
F* nightly builds
FStarLang/FStar-nightly’s past year of commit activity
00 0 0 UpdatedJul 8, 2025
pulse-nightly Public
Nightly builds for Pulse
FStarLang/pulse-nightly’s past year of commit activity
00 0 0 UpdatedJul 8, 2025
FStar Public
A Proof-oriented Programming Language
FStarLang/FStar’s past year of commit activity
F* 2,864Apache-2.0 239 501 (8 issues need help) 63 UpdatedJul 7, 2025
fstar-vscode-assistant Public
An interactive mode for F* in VS Code
FStarLang/fstar-vscode-assistant’s past year of commit activity
TypeScript 23 9 13 0 UpdatedJul 2, 2025
steel Public
The Steel separation logic library for F*
FStarLang/steel’s past year of commit activity
F* 35Apache-2.0 5 0 0 UpdatedJul 2, 2025
fstar-mode.el Public
Emacs support for F*
FStarLang/fstar-mode.el’s past year of commit activity
Emacs Lisp 70Apache-2.0 19 17 5 UpdatedJun 25, 2025
fstarlang.github.io Public
The website of all things F*
FStarLang/fstarlang.github.io’s past year of commit activity
HTML 8 9 4 6 UpdatedJun 9, 2025
pulse-sandbox Public
A repo to get started with Pulse, with a devcontainer
FStarLang/pulse-sandbox’s past year of commit activity
F* 10 0 0 UpdatedJun 8, 2025