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