FStarLang/fstarlang.github.io FStarLang/fstarlang.github.io

  • Stars
    star
    8
  • Rank 2,044,373 (Top 42 %)
  • Language
    HTML
  • Created almost 8 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
FStarLang/fstarlang.github.io
github

FStarLang

Reviews

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

Repository Details

The website of all things F*

More Repositories

1

FStar

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

karamel

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

fstar-mode.el

Emacs support for F*
Emacs Lisp
66
star
4

VimFStar

A Vim mode for FStar
Vim Script
23
star
5

steel

The Steel separation logic library for F*
F*
20
star
6

fstar-vscode-assistant

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

atom-fstar

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

fstar-layer

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

fstar-interactive

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

binaries

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

pulse-tutorial-24

Files and devcontainer for POPL 24 Tutorial on Pulse
F*
2
star
12

3rdparty

Third party libraries
1
star
13

PoP-in-FStar

The Proof-oriented Programming in F* Book
Python
1
star