Beast code in Giters

FStarLang's repositories

FStar

A Proof-oriented Programming Language

Language:F*Apache-2.02570 80 1974

karamel

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

Language:OCamlApache-2.0384 43 152

fstar-mode.el

Emacs support for F*

Language:Emacs LispApache-2.066 37 103

VimFStar

A Vim mode for FStar

Language:Vim ScriptVim22 14 8

steel

The Steel separation logic library for F*

Language:F*Apache-2.019 17 64

fstar-vscode-assistant

An interactive mode for F* in VS Code

Language:TypeScriptNOASSERTION11 5 19

atom-fstar

Syntax highlighting for F* in Atom Editor

Language:ShellApache-2.010 39 4

fstar-layer

Spacemacs layer for fstar (wrapper for fstar-mode.el)

Language:Emacs Lisp9 6 7

fstarlang.github.io

The website of all things F*

Language:HTML8 36 5

fstar-interactive

An F* interactive mode for the atom editor

Language:JavaScriptMIT7 40 17

binaries

Regular binary builds of F* and compatible versions of Z3

Language:ShellApache-2.06 34 2

pulse-tutorial-24

Files and devcontainer for POPL 24 Tutorial on Pulse

Language:F*300

PoP-in-FStar

The Proof-oriented Programming in F* Book

Language:PythonApache-2.02 50

3rdparty

Third party libraries

1 460

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

Language:RubyMIT1 400

pulse

The Pulse separation logic DSL for F*

Language:F*Apache-2.0000