HYSEN LABS VERZEICHNIS

FStarLang

Geprüfte Repositories, Klassifikationen und Analysen der Organisation FStarLang.

1 kuratiertes Open-Source-Projekt

FStarLang

FStar

★ 3.070

Dieses Projekt rundet „A Proof-oriented Programming Language. [fstar-mode.el]: Emacs mode for F* [fstar-vscode-assistant]: VS Code plugin for F* More details on [editor support] are available on the [F\* wiki].“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.

F*Entwicklerwerkzeuge258 Forks

Andere Sprache Entwicklerwerkzeuge Kommandozeile Plattformübergreifend