FStarLang/pulse FStarLang/pulse

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language F*
  • License
    Apache License 2.0
  • Created 9 months ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
FStarLang/pulse
github

FStarLang

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The Pulse separation logic DSL for F*

More Repositories

1

FStar

A Proof-oriented Programming Language
F*
2,684
star
2

karamel

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

fstar-mode.el

Emacs support for F*
Emacs Lisp
67
star
4

steel

The Steel separation logic library for F*
F*
24
star
5

VimFStar

A Vim mode for FStar
Vim Script
24
star
6

fstar-vscode-assistant

An interactive mode for F* in VS Code
TypeScript
16
star
7

atom-fstar

Syntax highlighting for F* in Atom Editor
Shell
11
star
8

fstar-layer

Spacemacs layer for fstar (wrapper for fstar-mode.el)
Emacs Lisp
11
star
9

fstarlang.github.io

The website of all things F*
HTML
8
star
10

PoP-in-FStar

The Proof-oriented Programming in F* Book
Python
8
star
11

fstar-interactive

An F* interactive mode for the atom editor
JavaScript
7
star
12

binaries

Regular binary builds of F* and compatible versions of Z3
Shell
6
star
13

pulse-tutorial-24

Files and devcontainer for POPL 24 Tutorial on Pulse
F*
4
star
14

3rdparty

Third party libraries
1
star
15

pulse-sandbox

A repo to get started with Pulse, with a devcontainer
F*
1
star