@FStarLang
Guthub

FStarLang

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top 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

The Pulse separation logic DSL for F*
F*
5
star
14

pulse-tutorial-24

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

3rdparty

Third party libraries
1
star
16

pulse-sandbox

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