Desktop Insights
  • Apps
  • Tech
  • Statistics
  • Documentation
  • Pricing
Sign InSign Up
Home/Apps/Dafny
D

Dafny

Windowsdotnet-8.0—
Available onDirect DownloadGitHub
Runtime
dotnet-8.0
Size
146 MB
Architecture
x64
Dependencies
150
2 categories

Dafny is a dotnet-8.0 app (—) that uses 150 detected dependencies across 2 categories including Compression, Other. It is not code-signed. 146 MB on Windows (x64). Last verified April 2026.

What is Dafny built with?

150 detected dependencies across 2 categories.

Compression

1
zlib

Sign up to see Compression details

Sign Up Free

Other

149
z3DafnycratedafnyTomlyncrateslinkerspacerMediatRSerilogruntimereactiveDafnyCoreRangeTreeSystem.IOreactive0Boogie.CoreDafnyDriverDafnyServerNJsonSchemaSystem.LinqBoogie.GraphBoogie.ModelDafnyRuntimeBoogie.VCExprDafnyPipelineSystem.MemoryBoogie.HoudiniSystem.BuffersSystem.RuntimeNewtonsoft.JsonSystem.ReactiveBoogie.BaseTypesNerdbank.StreamsSystem.ThreadingSystem.AppContextSystem.Linq.AsyncSystem.ReflectionBoogie.ConcurrencySystem.CollectionsSystem.CommandLineSystem.ObjectModelSystem.Private.UriBoogie.VCGenerationDafnyLanguageServerDafnyTestGenerationNETStandard.LibraryNamotion.ReflectionSystem.IO.PipelinesSystem.GlobalizationSystem.IO.FileSystemSystem.Text.EncodingBoogie.Provers.SMTLibJetBrains.AnnotationsSystem.Drawing.CommonSystem.Net.WebSocketsruntime.any.System.IOruntime.native.SystemBoogie.ExecutionEngineSystem.Dynamic.RuntimeSystem.Reflection.EmitSystem.Runtime.CachingSystem.Runtime.HandlesSystem.Threading.TasksBoogie.Provers.LeanAutoSystem.Linq.ExpressionsSystem.Numerics.VectorsSystem.Runtime.NumericsMicrosoft.Win32.RegistrySystem.Diagnostics.DebugMicrosoft.NETCore.TargetsSystem.Reactive.ReferenceSystem.Runtime.ExtensionsSystem.Threading.ChannelsSystem.Windows.ExtensionsMicrosoft.Win32.PrimitivesSystem.Diagnostics.TracingSystem.Reflection.Metadataruntime.any.System.RuntimeMicrosoft.NETCore.PlatformsSystem.Security.PermissionsSystem.Threading.OverlappedBoogie.CodeContractsExtenderMicrosoft.Extensions.LoggingMicrosoft.Extensions.OptionsMicrosoft.Win32.SystemEventsOmniSharp.Extensions.JsonRpcSystem.Collections.ImmutableSystem.Reflection.ExtensionsSystem.Reflection.PrimitivesBoogie.AbstractInterpretationMicrosoft.Bcl.AsyncInterfacesSystem.Security.AccessControlruntime.any.System.ReflectionSystem.Runtime.InteropServicesruntime.any.System.CollectionsMicrosoft.Extensions.PrimitivesMicrosoft.TestPlatform.TestHostSystem.IO.FileSystem.PrimitivesSystem.Text.Encoding.ExtensionsMicrosoft.VisualStudio.ThreadingSystem.Reflection.TypeExtensionsSystem.Resources.ResourceManagerruntime.any.System.Globalizationruntime.any.System.Text.Encodingruntime.win.System.IO.FileSystemMicrosoft.VisualStudio.ValidationSystem.Security.Principal.WindowsSystem.Threading.Tasks.ExtensionsMicrosoft.Extensions.ConfigurationMicrosoft.TestPlatform.ObjectModelSystem.Reflection.Emit.Lightweightruntime.any.System.Runtime.Handlesruntime.any.System.Threading.TasksOmniSharp.Extensions.LanguageServerSystem.Reflection.Emit.ILGenerationMicrosoft.Extensions.DependencyModelruntime.win.System.Diagnostics.DebugMicrosoft.DotNet.PlatformAbstractionsOmniSharp.Extensions.LanguageProtocolruntime.win.System.Runtime.ExtensionsSystem.Runtime.CompilerServices.Unsaferuntime.any.System.Diagnostics.Tracingruntime.win.Microsoft.Win32.PrimitivesMicrosoft.Extensions.Configuration.JsonMicrosoft.Extensions.FileSystemGlobbingOmniSharp.Extensions.JsonRpc.GeneratorsMicrosoft.Extensions.DependencyInjectionruntime.any.System.Reflection.Extensionsruntime.any.System.Reflection.PrimitivesMicrosoft.Extensions.Configuration.BinderMicrosoft.Extensions.Logging.AbstractionsSystem.Configuration.ConfigurationManagerMicrosoft.VisualStudio.Threading.AnalyzersOmniSharp.Extensions.LanguageServer.SharedSystem.Security.Cryptography.ProtectedDataruntime.any.System.Runtime.InteropServicesMicrosoft.Extensions.FileProviders.PhysicalMicrosoft.TestPlatform.Extensions.TrxLoggerruntime.any.System.Text.Encoding.Extensionsruntime.any.System.Resources.ResourceManagerMicrosoft.Extensions.Configuration.CommandLineMicrosoft.Extensions.Configuration.AbstractionsMicrosoft.Extensions.FileProviders.AbstractionsMicrosoft.Extensions.Configuration.FileExtensionsSystem.Runtime.InteropServices.RuntimeInformationruntimepack.Microsoft.NETCore.App.Runtime.win-x64Microsoft.Extensions.Options.ConfigurationExtensionsMicrosoft.Extensions.DependencyInjection.Abstractions

Sign up to see Other details

Sign Up Free

When was Dafny last updated?

1 tracked releases since April 2026.

Latest: —
April 25, 2026

Last verified April 25, 2026

Get version history, dependency trees, and scores via API
Desktop Insights

The only technographics platform for desktop software. See the SDKs, frameworks, and dependencies inside thousands of macOS and Windows applications.

© Copyright 2026 Desktop Insights. All Rights Reserved.

About
  • About
  • Blog
  • Contact
  • Twitter / X
Product
  • Statistics
  • Documentation
  • MCP Server
  • Smithery
  • Glama
Legal
  • Terms of Service
  • Privacy Policy
  • Cookie Policy