https://github.com/kant2002/fstarmsbuildsdk

F* MSBuild SDK
https://github.com/kant2002/fstarmsbuildsdk

fstar msbuild-sdk

Last synced: 1 day ago
JSON representation

F* MSBuild SDK

• Host: GitHub
• URL: https://github.com/kant2002/fstarmsbuildsdk
• Owner: kant2002
• License: mit
• Created: 2022-07-27T05:47:50.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-09-10T02:32:54.000Z (25 days ago)
• Last Synced: 2024-09-10T05:48:26.840Z (25 days ago)
• Topics: fstar, msbuild-sdk
• Language: F*
• Homepage:
• Size: 90.8 KB
• Stars: 8
• Watchers: 2
• Forks: 0
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project