Repository Index

77,852 visible repositories in the index

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–3 of 3 · Most stars

dafny-lang / dafny

C# 3.6K 338

Dafny is a verification-aware programming language

C# 917 243

Convert code from C# to VB.NET and vice versa using Roslyn

C# 450 39

IL2C - A translator for ECMA-335 CIL/MSIL to C language.