https://github.com/diskuv/dirsp-exchange

Provide software engineers with auditable source code that has some level of safety assurance (typically proofs) from security researchers.
https://github.com/diskuv/dirsp-exchange

Last synced: 8 days ago
JSON representation

Provide software engineers with auditable source code that has some level of safety assurance (typically proofs) from security researchers.

• Host: GitHub
• URL: https://github.com/diskuv/dirsp-exchange
• Owner: diskuv
• License: other
• Created: 2021-05-30T03:29:04.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2023-02-16T18:00:14.000Z (over 1 year ago)
• Last Synced: 2023-03-05T22:32:10.310Z (over 1 year ago)
• Language: Standard ML
• Homepage: https://diskuv.github.io/dirsp-exchange/index.html
• Size: 5.82 MB
• Stars: 8
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project