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

Dafny

Windowsdotnet-8.0
Available onDirect Download
Runtime
dotnet-8.0
Size
146 MB
Architecture
x64
Dependencies
155
2 categories

Dafny is a dotnet-8.0 app that uses 155 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?

155 detected dependencies across 2 categories.

Compression

1
zlib

Sign up to see Compression details

Sign Up Free

Other

154
z3DafnycratedafnyTomlyncrateslinkerspacerMediatRSerilogruntimereactiveDafnyCoreRangeTreeSystem.IOreactive0Boogie.CoreDafnyDriverDafnyServerNJsonSchemaSystem.LinqBoogie.GraphBoogie.ModelDafnyRuntimeBoogie.VCExprDafnyPipelineSystem.MemoryBoogie.HoudiniSystem.BuffersSystem.RuntimeNewtonsoft.JsonSystem.ReactiveBoogie.BaseTypesNerdbank.StreamsSystem.ThreadingSystem.AppContextSystem.Linq.AsyncSystem.ReflectionBoogie.ConcurrencySerilog.Sinks.FileSystem.CollectionsSystem.CommandLineSystem.ObjectModelSystem.Private.UriBoogie.VCGenerationDafnyLanguageServerDafnyTestGenerationNETStandard.LibraryNamotion.ReflectionSerilog.Sinks.DebugSystem.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.LeanAutoNJsonSchema.AnnotationsSystem.Linq.ExpressionsSystem.Numerics.VectorsSystem.Runtime.NumericsMicrosoft.Win32.RegistrySystem.Diagnostics.DebugMicrosoft.NETCore.TargetsSystem.Reactive.ReferenceSystem.Runtime.ExtensionsSystem.Threading.ChannelsSystem.Windows.ExtensionsMicrosoft.Win32.PrimitivesSerilog.Extensions.LoggingSystem.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.ReflectionSerilog.Settings.ConfigurationSystem.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

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