FStar
+7A Proof-oriented Programming Language
f-sharp
Chủ đề #f-sharp trên GitHub — repository trong kho Beeknoee có gắn topic này.
- Repository
- 5
- Tổng sao
- 21.2k
- 24 giờ
- 0%
- 7 ngày
- 0%
- 30 ngày
- +0.1%
Repository trong #f-sharp
OneOf
+1Easy to use F#-like ~discriminated~ unions for C# with exhaustive compile time matching
Chủ đề khác
Các chủ đề phổ biến khác trong kho Beeknoee
