all options
stretch  ] [  buster  ] [  bullseye  ] [  bullseye-backports  ] [  bookworm  ] [  sid  ]
[ Source: mdk  ]

Package: mdk (1.3.0+dfsg-3)

Links for mdk


Debian Resources:

Download Source Package mdk:


External Resources:

Similar packages:

MIX Development Kit

MDK stands for MIX Development Kit, and provides tools for developing and executing, in a MIX virtual machine, MIXAL programs.

The MIX is Donald Knuth's mythical computer, described in the first volume of The Art of Computer Programming, which is programmed using MIXAL, the MIX assembly language.

MDK includes a MIXAL assembler (mixasm) and a MIX virtual machine (mixvm) with a command line interface. In addition, a GTK+ GUI to mixvm, called gmixvm, and a Guile interpreter with an embedded MIX virtual machine called mixguile, are provided.

Using these interfaces, you can debug your MIXAL programs at source code level, and read/modify the contents of all the components of the MIX computer (including block devices, which are simulated using the file system).

Tags: Software Development: Interpreter, Machine Code, Hardware Enablement: hardware::emulation, implemented-in::c, User Interface: Graphical User Interface, interface::text-mode, interface::x11, Role: Program, Application Suite: GNU, Interface Toolkit: uitoolkit::gtk, uitoolkit::ncurses, X Window System: Application

Other Packages Related to mdk

  • depends
  • recommends
  • suggests
  • enhances

Download mdk

Download for all available architectures
Architecture Package Size Installed Size Files
alpha (unofficial port) 196.4 kB1,188.0 kB [list of files]
amd64 189.9 kB1,027.0 kB [list of files]
arm64 175.8 kB1,014.0 kB [list of files]
armel 157.9 kB871.0 kB [list of files]
armhf 161.6 kB755.0 kB [list of files]
hppa (unofficial port) 168.2 kB925.0 kB [list of files]
i386 195.4 kB1,063.0 kB [list of files]
ia64 (unofficial port) 207.5 kB1,609.0 kB [list of files]
m68k (unofficial port) 179.9 kB926.0 kB [list of files]
mips64el 176.6 kB1,145.0 kB [list of files]
mipsel 176.0 kB1,043.0 kB [list of files]
ppc64 (unofficial port) 193.4 kB1,430.0 kB [list of files]
ppc64el 194.0 kB1,366.0 kB [list of files]
riscv64 (unofficial port) 165.6 kB860.0 kB [list of files]
s390x 179.2 kB1,062.0 kB [list of files]
sh4 (unofficial port) 177.7 kB881.0 kB [list of files]
sparc64 (unofficial port) 161.7 kB1,020.0 kB [list of files]
x32 (unofficial port) 188.4 kB944.0 kB [list of files]