all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: mdk  ]

Package: mdk (1.2.7+dfsg-2)

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: Text-based Interactive, X Window System, Role: role::program, suite::gnu, Interface Toolkit: GTK, Ncurses TUI, 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) 163.0 kB1,132.0 kB [list of files]
amd64 173.9 kB1,035.0 kB [list of files]
arm64 142.2 kB954.0 kB [list of files]
armel 144.3 kB899.0 kB [list of files]
armhf 146.1 kB783.0 kB [list of files]
hppa (unofficial port) 153.5 kB846.0 kB [list of files]
hurd-i386 169.9 kB1,016.0 kB [list of files]
i386 170.5 kB1,016.0 kB [list of files]
kfreebsd-amd64 162.7 kB880.0 kB [list of files]
kfreebsd-i386 159.3 kB864.0 kB [list of files]
m68k (unofficial port) 161.2 kB967.0 kB [list of files]
mips 151.7 kB1,035.0 kB [list of files]
mipsel 153.7 kB1,035.0 kB [list of files]
powerpc 142.9 kB1,052.0 kB [list of files]
powerpcspe (unofficial port) 141.9 kB921.0 kB [list of files]
ppc64 (unofficial port) 154.5 kB1,222.0 kB [list of files]
ppc64el 153.1 kB1,001.0 kB [list of files]
s390x 173.4 kB1,154.0 kB [list of files]
sh4 (unofficial port) 162.5 kB902.0 kB [list of files]
sparc 283.1 kB975.0 kB [list of files]
sparc64 (unofficial port) 148.5 kB1,059.0 kB [list of files]
x32 (unofficial port) 173.5 kB968.0 kB [list of files]