FStarLang/steel FStarLang/steel

  • Stars
    star
    20
  • Rank 1,087,935 (Top 23 %)
  • Language F*
  • License
    Apache License 2.0
  • Created about 1 year ago
  • Updated 27 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
FStarLang/steel
github

FStarLang

Reviews

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

Repository Details

The Steel separation logic library for F*

More Repositories

1

FStar

A Proof-oriented Programming Language
F*
2,577
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

fstar-vscode-assistant

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

atom-fstar

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

fstar-layer

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

fstarlang.github.io

The website of all things F*
HTML
8
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