LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Vim Script

VimFStar

neovim plugin for F*

Vim ScriptEmerging

Stars

—

Forks

1

Contributors

5

Last push

22mo ago

Recent commits

Latest commits.

Better color for failed progress bar.
378ef77Gabriel Ebner22mo ago
Clarify licensing.
b799a41Gabriel Ebner22mo ago
README
3730b76Gabriel Ebner22mo ago
Automatically download server.
7efd939Gabriel Ebner22mo ago
Make key bindings opt-out.
5d1efb2Gabriel Ebner22mo ago

Add more progress signs.

67f8b85Gabriel Ebner22mo ago

Fix default keybinding.

5e9083fGabriel Ebner22mo ago

Use single-line comments.

d50fc6dGabriel Ebner22mo ago

Top contributors

Builders behind this project.