Fstar-mode.el Alternatives
Similar projects and alternatives to fstar-mode.el
-
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
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-mode.el alternative or higher similarity.
fstar-mode.el reviews and mentions
Posts with mentions or reviews of fstar-mode.el.
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-mode.el repo stats
1
66
2.7
3 months ago
FStarLang/fstar-mode.el is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of fstar-mode.el is Emacs Lisp.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com