Package: mdk (1.3.0+dfsg-3 and others)
Links for mdk
Debian Resources:
Download Source Package mdk:
Maintainer:
External Resources:
- Homepage [www.gnu.org]
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).
Other Packages Related to mdk
|
|
|
|
-
- dep: emacsen-common
- facilidades comuns a todos os emacs
-
- dep: guile-3.0-libs
- Core Guile libraries
-
- dep: libatk1.0-0t64 (>= 1.12.4) [sparc64]
- Kit de ferramenta de acessibilidade ATK
-
- dep: libc6 (>= 2.33) [x32]
- GNU Biblioteca C: Bibliotecas compartilhadas
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 Biblioteca C: Bibliotecas compartilhadas
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.34) [alpha]
-
- dep: libcairo-gobject2 (>= 1.10.0) [sparc64]
- biblioteca gráfica de vetores 2D Cairo (biblioteca GObject)
-
- dep: libcairo2 (>= 1.2.4) [sparc64]
- biblioteca gráfica de vetores 2D Cairo
-
- dep: libgc1 (>= 1:7.2d) [sparc64]
- coletor de lixo ("garbage collector") conservador para C e C++
-
- dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [sparc64]
- biblioteca de Pixbuf GDK
-
- dep: libglib2.0-0 (>= 2.35.9) [ia64, x32]
- biblioteca GLib de rotinas C - pacote de transição
-
- dep: libglib2.0-0t64 (>= 2.36.0) [not ia64, x32]
- biblioteca GLib de rotinas C
-
- dep: libgtk-3-0 (>= 3.9.10) [ia64, x32]
- biblioteca da interface de gráfica de usuário(a) GTK
-
- dep: libgtk-3-0t64 (>= 3.9.10) [not ia64, x32]
- biblioteca da interface de gráfica de usuário(a) GTK
-
- dep: libharfbuzz0b (>= 0.6.0) [sparc64]
- motor de formato de texto OpenType (biblioteca compartilhada)
-
- dep: libncurses6 (>= 6) [sparc64]
- bibliotecas compartilhadas para manipulação do terminal
-
- dep: libpango-1.0-0 (>= 1.14.0)
- layout e renderização de texto internacionalizado
-
- dep: libpangocairo-1.0-0 (>= 1.14.0) [sparc64]
- layout e renderização de texto internacionalizado
-
- dep: libreadline8 (>= 6.0) [ia64, x32]
- bibliotecas readline e history da GNU, bibliotecas de tempo de execução
-
- dep: libreadline8t64 (>= 6.0) [not ia64, x32]
- bibliotecas readline e history da GNU, bibliotecas de tempo de execução
-
- dep: libtinfo6 (>= 6) [sparc64]
- biblioteca de terminfo de baixo-nível compartilhada para manipulação de terminal
-
- dep: sensible-utils
- utilitários para seleção de alternativas razoáveis
-
- dep: zlib1g (>= 1:1.1.4) [sparc64]
- biblioteca de compressão - runtime (tempo de execução)
-
- rec: xterm
- emulador de terminal X
- 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
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] |