Development & Programming
Windows listings in Development & Programming.
cvc5
cvc5 is an open-source automatic theorem prover for satisfiability modulo theories problems.
cvs
CVS is a version-control system. Version control records changes to files over time, allowing developers to track revisions and coordinate work across different versions of a project.
dEXE
dEXE is a decompiler for x86-64 ELF and PE binaries.
dafny
Dafny is a programming language with an integrated program verifier.
dapr-cli
Dapr CLI provides command-line tools for working with Dapr.
dark
Dark decompiles Windows Installer XML (WiX) packages.
dart
Dart SDK is a software development kit for the Dart programming language.
dart-sass-embedded
Dart Sass Embedded is a wrapper around Dart Sass that implements the compiler side of the Embedded Sass protocol.
dasel
Dasel is a command-line utility for querying and modifying structured data.
datamash
GNU Datamash is a command-line program for numeric, textual, and statistical operations on input data files.
datamitsu
datamitsu is a tool for configuration management and distributing binaries.
datree
Datree checks Kubernetes configuration for policy violations before misconfigurations reach production.
datui
datui is a terminal user interface for exploring and analyzing datasets.
dbt Core
dbt Core is an open-source command-line tool for transforming data in a warehouse using modular SQL.
dbt Fusion
dbt Fusion is a command-line engine for parsing, compiling, and executing SQL data-transformation workflows.
dbvis
DbVisualizer is a database tool for developers, database administrators, and analysts.
ddosify
Ddosify is a tool for load testing and denial-of-service attack simulation.
deepgit
DeepGit is a tool for investigating source-code history, also described as a Git archaeology tool.
deepstream
Deepstream is a real-time data synchronization server for mobile, web, and Internet of Things applications.
deno-lint
Deno Lint is a linter for JavaScript and TypeScript, written in Rust.
dep
Dep is a dependency-management tool for Go projects.
dependency-check
Dependency-Check analyzes a project’s software components and checks them against publicly disclosed vulnerabilities.
depends
Depends is a free Windows utility that scans 32-bit or 64-bit modules and displays their dependent modules as a hierarchical tree.
desync
Desync is a Go library and command-line tool that reimplements casync features for content-addressed binary distribution.
deta
Deta CLI is a command-line interface for managing Deta micros and deployments.
detekt
Detekt is a static code-analysis tool for Kotlin.
devd
Devd is a small, self-contained HTTP server designed for developers and operated from the command line.
devspace
DevSpace is an open-source developer tool for building and deploying cloud-native software on Kubernetes.
dfetch
dfetch retrieves dependencies from Git repositories, Subversion repositories, or archives and vendors them into a project repository.
dfu-programmer
DFU-Programmer is a multi-platform command-line programmer for Atmel 8051, AVR, XMEGA, and AVR32 chips.
dhall
Dhall provides command-line tools for the Dhall configuration language.
diff-so-fancy
Diff-so-fancy makes diff output more readable for people.
diffmerge
DiffMerge is an application for visually comparing and merging files.
diffnav
Diffnav is a pager for Git diff output that includes a file tree.
diffsitter
Diffsitter compares source code structurally using Tree-sitter syntax trees.
dioxus
Dioxus is a full-stack application framework for building software for web, desktop, mobile, and other environments.
