Package: mdk (1.3.0+dfsg-3 and others)

[ Source: mdk  ]

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

• dep: emacsen-common

  Common facilities for all emacsen

• dep: guile-3.0-libs

  Core Guile libraries

• dep: libatk1.0-0t64 (>= 1.12.4) [sparc64]

  ATK accessibility toolkit

• dep: libc6 (>= 2.33) [x32]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.34) [not alpha, ia64, sh4, x32]

  dep: libc6 (>= 2.37) [sh4]

• dep: libc6.1 (>= 2.33) [ia64]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.34) [alpha]

• dep: libcairo-gobject2 (>= 1.10.0) [sparc64]

  Cairo 2D vector graphics library (GObject library)

• dep: libcairo2 (>= 1.2.4) [sparc64]

  Cairo 2D vector graphics library

• dep: libgc1 (>= 1:7.2d) [sparc64]

  conservative garbage collector for C and C++

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [sparc64]

  GDK Pixbuf library

• dep: libglib2.0-0 (>= 2.35.9) [ia64, x32]

  GLib library of C routines - transitional package

• dep: libglib2.0-0t64 (>= 2.36.0) [not ia64, x32]

  GLib library of C routines

• dep: libgtk-3-0 (>= 3.9.10) [ia64, x32]

  GTK graphical user interface library

• dep: libgtk-3-0t64 (>= 3.9.10) [not ia64, x32]

  GTK graphical user interface library

• dep: libharfbuzz0b (>= 0.6.0) [sparc64]

  OpenType text shaping engine (shared library)

• dep: libncurses6 (>= 6) [sparc64]

  shared libraries for terminal handling

• dep: libpango-1.0-0 (>= 1.14.0)

  Layout and rendering of internationalized text

• dep: libpangocairo-1.0-0 (>= 1.14.0) [sparc64]

  Layout and rendering of internationalized text

• dep: libreadline8 (>= 6.0) [ia64, x32]

  GNU readline and history libraries, run-time libraries

• dep: libreadline8t64 (>= 6.0) [not ia64, x32]

  GNU readline and history libraries, run-time libraries

• dep: libtinfo6 (>= 6) [sparc64]

  shared low-level terminfo library for terminal handling

• dep: sensible-utils

  Utilities for sensible alternative selection

• dep: zlib1g (>= 1:1.1.4) [sparc64]

  compression library - runtime

• rec: xterm

  X terminal emulator

  or x-terminal-emulator

  virtual package provided by alacritty, cool-retro-term, deepin-terminal, eterm, foot, gnome-console, gnome-terminal, kitty, konsole, lilyterm, lxterminal, mate-terminal, mlterm, mlterm-tiny, pterm, qterminal, rxvt-unicode, sakura, stterm, terminator, terminology, termit, tilix, xfce4-terminal, xiterm+thai, xterm, yakuake, zutty

Download mdk

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.3.0+dfsg-3+b1	180.0 kB	1,175.0 kB	[list of files]
amd64	1.3.0+dfsg-3+b1	183.8 kB	1,014.0 kB	[list of files]
arm64	1.3.0+dfsg-3+b1	171.2 kB	1,169.0 kB	[list of files]
armel	1.3.0+dfsg-3+b1	152.1 kB	874.0 kB	[list of files]
armhf	1.3.0+dfsg-3+b1	154.6 kB	762.0 kB	[list of files]
hppa (unofficial port)	1.3.0+dfsg-3+b1	161.5 kB	903.0 kB	[list of files]
i386	1.3.0+dfsg-3+b1	188.5 kB	1,054.0 kB	[list of files]
ia64 (unofficial port)	1.3.0+dfsg-3	207.5 kB	1,609.0 kB	[list of files]
m68k (unofficial port)	1.3.0+dfsg-3+b1	173.1 kB	921.0 kB	[list of files]
mips64el	1.3.0+dfsg-3+b1	169.1 kB	1,240.0 kB	[list of files]
ppc64 (unofficial port)	1.3.0+dfsg-3+b1	187.0 kB	1,425.0 kB	[list of files]
ppc64el	1.3.0+dfsg-3+b1	187.4 kB	1,361.0 kB	[list of files]
riscv64	1.3.0+dfsg-3+b2	181.4 kB	941.0 kB	[list of files]
s390x	1.3.0+dfsg-3+b1	179.0 kB	1,057.0 kB	[list of files]
sh4 (unofficial port)	1.3.0+dfsg-3+b1	170.9 kB	908.0 kB	[list of files]
sparc64 (unofficial port)	1.3.0+dfsg-3+b1	156.6 kB	4,454.0 kB	[list of files]
x32 (unofficial port)	1.3.0+dfsg-3	188.4 kB	944.0 kB	[list of files]