Fstar-vscode-assistant Alternatives
Similar projects and alternatives to fstar-vscode-assistant
-
-
SurveyJS
Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
-
-
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better fstar-vscode-assistant alternative or higher similarity.
fstar-vscode-assistant discussion
fstar-vscode-assistant reviews and mentions
Posts with mentions or reviews of fstar-vscode-assistant.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-05-16.
-
F* – A Proof-Oriented Programming Language
Have you seen https://github.com/FStarLang/fstar-vscode-assistant? Copilot & F* works pretty nicely.
We've also had a pretty nice emacs mode for a while: https://github.com/FStarLang/fstar-mode.el
Stats
Basic fstar-vscode-assistant repo stats
1
15
8.8
27 days ago
FStarLang/fstar-vscode-assistant is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of fstar-vscode-assistant is TypeScript.