Chenxi He's repositories
apollo
An open autonomous driving platform
Language:C++Apache-2.0000
dafny
Dafny is a verification-aware programming language
Language:C#NOASSERTION000
dafny_vscode_image
Images used in modified dafny VSCode extension
000
language-server-csharp
Dafny Language Server implementation in C#
Language:C#MIT000
Language:JavaScript000