FStar vs VBScript: What are the differences?
FStar: An ML-like language aimed at program verification. F* (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties; VBScript: An Active Scripting language that is modeled on Visual Basic. It is an Active Scripting language developed by Microsoft that is modeled on Visual Basic. It allows Microsoft Windows system administrators to generate powerful tools for managing computers with error handling, subroutines, and other advanced programming constructs.
FStar and VBScript can be categorized as "Languages" tools.
FStar is an open source tool with 1.79K GitHub stars and 156 GitHub forks. Here's a link to FStar's open source repository on GitHub.