FStar vs DAML: What are the differences?
What is 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.
What is DAML? Open-source programming language for writing distributed applications. It is an open-source programming language for writing distributed applications quickly, concisely, and correctly. It runs on the leading blockchain platforms which means that you can build your application now and pick which platform works best for you later.
FStar and DAML belong to "Languages" category of the tech stack.
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.