https://github.com/yaccconstructor/visualfstar

Support for F* in Visual Studio IDE.
https://github.com/yaccconstructor/visualfstar

Last synced: about 1 month ago
JSON representation

Support for F* in Visual Studio IDE.

• Host: GitHub
• URL: https://github.com/yaccconstructor/visualfstar
• Owner: YaccConstructor
• License: apache-2.0
• Created: 2015-09-18T09:01:15.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2018-03-06T06:49:56.000Z (almost 7 years ago)
• Last Synced: 2023-08-06T20:56:39.135Z (over 1 year ago)
• Language: C#
• Homepage: http://yaccconstructor.github.io/VisualFStar/
• Size: 5.47 MB
• Stars: 5
• Watchers: 9
• Forks: 1
• Open Issues: 5

Awesome Lists containing this project