- New York
Highlights
- Pro
Stars
3
stars
written in C#
Clear filter
Virtual File System for Git: Enable Git at Enterprise Scale
Dafny is a verification-aware programming language
Testing out a Zero Cost Abstraction in Rust compared to similar approaches in C# and Java