FStarLang/fstar-mode.el FStarLang/fstar-mode.el

  • Stars
    star
    67
  • Rank 462,689 (Top 10 %)
  • Language
    Emacs Lisp
  • License
    Apache License 2.0
  • Created about 9 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
FStarLang/fstar-mode.el
github

FStarLang

Reviews

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

Repository Details

Emacs support 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

steel

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

VimFStar

A Vim mode for FStar
Vim Script
24
star
5

fstar-vscode-assistant

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

atom-fstar

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

fstar-layer

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

fstarlang.github.io

The website of all things F*
HTML
8
star
9

PoP-in-FStar

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

fstar-interactive

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

binaries

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

pulse

The Pulse separation logic DSL for F*
F*
5
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