macOS
brew install mdklocal Homebrew formula metadata
sudo port install mdkMacPorts ports tree · lang/mdk/Portfile · source: api.github.com
brew
GNU MIX development kit. Version 1.3.1 via Homebrew; verified 2026-06-07.
install
brew install mdklocal Homebrew formula metadata
sudo port install mdkMacPorts ports tree · lang/mdk/Portfile · source: api.github.com
sudo apt install mdkDebian stable package indexes · mdk · source: deb.debian.org
sudo dnf install mdkFedora Rawhide package metadata · mdk · source: dl.fedoraproject.org
nix profile install nixpkgs#mdknixpkgs package indexes · pkgs/by-name/md/mdk/package.nix · source: api.github.com
overview
GNU MIX development kit
history
GNU MDK, the GNU MIX Development Kit, is a suite of tools for developing programs for Donald Knuth's MIX mythical computer and its MIXAL assembly language. It includes command-line and graphical simulators, an assembler, Guile integration, and Emacs support.
The GNU MDK manual identifies the documented package as version 1.3.0 from October 2020 and states that the manual covers utilities for Donald Knuth's MIX computer and MIXAL. The manual copyright years begin in 2000, showing the package's long-running place in the GNU software collection.
The GNU homepage presents MDK as a GNU project with news, documentation, installation, screenshots, downloads, and Savannah hosting. Homebrew tracked stable version 1.3.1 in 2026, while the input facts list packages across Homebrew, Debian, Ubuntu, Fedora/DNF, MacPorts, and Nix.
MDK's audience is specialized: readers of The Art of Computer Programming, emulator enthusiasts, GNU users, and people studying assembly-language architecture through Knuth's MIX model. Its adoption is therefore broader in distribution coverage than in everyday command-line visibility.
Its continued presence in general-purpose package managers matters because MIX and MIXAL are educational and historical tools. Packaging MDK keeps examples from Knuth's literature runnable on modern Unix-like systems without each user building the GNU source tree manually.
The package provides `mixasm` for assembling MIXAL, `mixvm` for simulating the MIX computer, `gmixvm` as a GTK virtual machine, and `mixguile` for Scheme/Guile interaction. The manual includes installation, a MIX and MIXAL tutorial, getting started material, command reference, and Emacs support.
There is no credential flow. Configuration in the manual is runtime-oriented simulator configuration and build/install flags, not a documented per-user config file location suitable for this schema.
GNU MDK is package-nerd significant because it is a compact bridge between classic computer-science literature and modern package managers. It lets a formula, Debian package, or Nix derivation install an executable environment for MIXAL programs.
It also illustrates why old educational tools remain packaged: not because they are high-volume infrastructure, but because they preserve reproducible access to an important computing model.
security posture
No matching local secret-handling manifest was found for mdk. Nucleus package metadata is still published here so future coverage has a stable package URL.
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
gmixvm | cli | global executable | |
mixasm | cli | global executable | |
mixguile | cli | global executable | |
mixvm | cli | global executable |
freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
https://www.gnu.org/software/mdk/mdk.html
install metadata
| Package key | brew:mdk |
|---|---|
| Version | 1.3.1 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/mdk |
| Homepage | https://www.gnu.org/software/mdk/mdk.html |
| Repository | https://git.savannah.gnu.org/cgit/mdk.git |
| Upstream docs | https://www.gnu.org/software/mdk/manual |
| License | GPL-3.0-or-later |
| Source archive | https://ftpmirror.gnu.org/gnu/mdk/v1.3.1/mdk-1.3.1.tar.gz |
| Last updated | 2026-06-07T13:40:42-04:00 |
| Pulse | updated |
| Dependencies | adwaita-icon-theme, at-spi2-core, bdw-gc, cairo, flex, gdk-pixbuf, gettext, glib, gtk+3, guile, harfbuzz, pango, readline |
| Build dependencies | gettext, intltool, pkgconf |
| Uses from macOS | ncurses |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | mdk |
| Version Scheme | 0 |
| Revision | 0 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source database matches
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
mdk 1.3.0+dfsg-4
MIX Development Kit
https://www.gnu.org/software/mdk/mdk.html
sudo apt install mdkmdk
nix profile install nixpkgs#mdkmdk 1.3.0+dfsg-3build2
MIX Development Kit
https://www.gnu.org/software/mdk/mdk.html
sudo apt install mdkmdk 1.3.1-6.fc45
GNU MIX Development Kit
https://www.gnu.org/software/mdk/
sudo dnf install mdkmdk-doc 1.3.1-6.fc45
GNU MIX Development Kit Documentation and Samples
https://www.gnu.org/software/mdk/
sudo dnf install mdk-docmdk
sudo port install mdksource trail
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
View the package source record on GitHub.