Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: nuget: antlr4.runtime
View more package details: https://packages.ecosyste.ms/registries/nuget.org/packages/antlr4.runtime
Dependent Repos 7
joho2014/dafny
- 4.6.6 Test/tutorial/Simple_compiler/SimpleCompiler.csproj
Size: 185 MB - Last synced: about 2 months ago - Pushed: about 2 years ago
jakenater99/dafny-proof-copy
- 4.6.6 Test/tutorial/Simple_compiler/SimpleCompiler.csproj
Size: 60.3 MB - Last synced: 17 days ago - Pushed: about 2 years ago
alex-chew/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 4.6.6 Test/tutorial/Simple_compiler/csharp/SimpleCompiler.csproj
Size: 214 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
prvshah51/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 4.6.6 Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj
Size: 198 MB - Last synced: 18 days ago - Pushed: over 1 year ago
byu-dafny/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 4.6.6 Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj
Size: 207 MB - Last synced: 4 months ago - Pushed: 4 months ago
robin-aws/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 4.6.6 Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj
Size: 219 MB - Last synced: 13 days ago - Pushed: 13 days ago
fabiomadge/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 4.6.6 Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj
Size: 217 MB - Last synced: 6 days ago - Pushed: 6 days ago
atomb/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 4.6.6 Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj
Size: 217 MB - Last synced: 1 day ago - Pushed: 1 day ago
RustanLeino/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 4.6.6 Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj
Size: 207 MB - Last synced: 20 days ago - Pushed: 21 days ago
Dargones/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 4.6.6 Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj
Size: 216 MB - Last synced: 1 day ago - Pushed: 1 day ago
mzhu-um/qdafny 📦
qdafny Release Repo- 4.6.6 Test/tutorial/Simple_compiler/SimpleCompiler.csproj
Size: 187 MB - Last synced: 17 days ago - Pushed: over 1 year ago
apython123/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 4.6.6 Test/tutorial/Simple_compiler/csharp/SimpleCompiler.csproj
Size: 198 MB - Last synced: 8 months ago - Pushed: over 1 year ago
dafny-lang/dafny
Dafny is a verification-aware programming language- 4.6.6 Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj
Size: 230 MB - Last synced: 13 days ago - Pushed: 13 days ago
dschoepe/dafny Fork of dafny-lang/dafny
Dafny is a verification-aware programming language- 4.6.6 Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj
Size: 209 MB - Last synced: 7 months ago - Pushed: 7 months ago
GLaDOS-Michigan/linear-dist
Prototypes for linear distributed systems- 4.6.6 local-dafny/Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj
Size: 56.7 MB - Last synced: 25 days ago - Pushed: 25 days ago
GLaDOS-Michigan/Kondo-Artifact-OSDI24
- 4.6.6 local-dafny/Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj
Size: 5.52 MB - Last synced: 6 days ago - Pushed: 6 days ago