FStarLang/pulse

The Pulse separation logic DSL for F*

stars

8,093

commits

Aug 28, 2026

updated

Browse cluster: Formal verification of cryptographic code →

README

Pulse has migrated into F*

Pulse is now a core part of F*!

You can follow the instructions in the F* repository to build F* and it will include Pulse by default. The releases and nightly builds will also include it.

Contributors

1,925 commits

1,823 commits

1,311 commits

1,126 commits

Similar repos

FStarLang/steel

The Steel separation logic library for F*

shared contributors

FStarLang/FStar

A Proof-oriented Programming Language

3,104

shared contributors

project-everest/everparse

Automated generation of provably secure, zero-copy parsers from format specifications

338

shared contributors

fstarlang/kremlin

KaRaMeL is a tool for extracting low-level F* programs to readable C code

518

shared contributors

FStarLang/karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

518

shared contributors

FStarLang/fstar-mode.el

Emacs support for F*

shared contributors

FStarLang/fstar-vscode-assistant

An interactive mode for F* in VS Code

shared contributors

oumaymabenbrahem/PFE