Package: mdk (1.3.0+dfsg-4 and others)
Links for mdk
Debian Resources:
Download Source Package mdk:
Maintainer:
External Resources:
- Homepage [www.gnu.org]
Similar packages:
kit di sviluppo MIX
MKD sta per MIX Development Kit e fornisce strumenti per sviluppare ed eseguire, in una macchina MIX virtuale, programmi MIXAL.
MIX è il computer mitico di Donald Knuth, descritto nel primo volume di "The Art of Computer Programming" che è programmato usando MIXAL, il linguaggio assembly MIX.
MDK include un assembler MIXAL (mixasm) e una macchina virtuale MIX (mixvm) con un'interfaccia a riga di comando. In aggiunta sono forniti una GUI GTK+ per mixvm, chiamata gmixvm, e un interprete Guile con una macchina virtuale MIX incorporata, chiamato mixguile.
Usando queste interfacce si può fare il debug di programmi MIXAL a livello di codice sorgente e leggere/modificare i contenuti di tutti i componenti del computer MIX (inclusi device a blocchi che vengono simulati usando il filesystem).
Other Packages Related to mdk
|
|
|
|
-
- dep: emacsen-common
- funzionalità comuni per tutti gli emacs
-
- dep: guile-3.0-libs
- librerie fondamentali per Guile
-
- dep: libatk1.0-0t64 (>= 1.12.4) [sparc64]
- toolkit per l'accessibilità ATK
-
- dep: libc6 (>= 2.34) [not alpha, ia64, loong64, sh4]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.39) [sh4]
- dep: libc6 (>= 2.40) [loong64]
-
- dep: libc6.1 (>= 2.33) [ia64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.34) [alpha]
-
- dep: libcairo-gobject2 (>= 1.10.0) [sparc64]
- libreria Cairo per grafica 2D vettoriale (libreria GObject)
-
- dep: libcairo2 (>= 1.2.4) [sparc64]
- libreria Cairo per grafica 2D vettoriale
-
- dep: libgc1 (>= 1:7.2d) [sparc64]
- garbage collector conservativo per C e C++
-
- dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [sparc64]
- libreria GDK Pixbuf
-
- dep: libglib2.0-0 (>= 2.35.9) [ia64]
- libreria GLib di routine in C - pacchetto di transizione
-
- dep: libglib2.0-0t64 (>= 2.36.0) [not ia64]
- libreria GLib di routine in C
-
- dep: libgtk-3-0 (>= 3.9.10) [ia64]
- libreria per interfacce utente grafiche GTK
-
- dep: libgtk-3-0t64 (>= 3.9.10) [not ia64]
- libreria per interfacce utente grafiche GTK
-
- dep: libharfbuzz0b (>= 0.6.0) [sparc64]
- motore delle forme per testi OpenType (libreria condivisa)
-
- dep: libncurses6 (>= 6) [sparc64]
- librerie condivise per la gestione del terminale
-
- dep: libpango-1.0-0 (>= 1.14.0)
- impaginazione e rendering di testo internazionalizzato
-
- dep: libpangocairo-1.0-0 (>= 1.14.0) [sparc64]
- impaginazione e rendering di testo internazionalizzato
-
- dep: libreadline8 (>= 6.0) [ia64]
- librerie GNU readline ed history, librerie eseguibili
-
- dep: libreadline8t64 (>= 6.0) [not ia64]
- librerie GNU readline ed history, librerie eseguibili
-
- dep: libtinfo6 (>= 6) [sparc64]
- libreria condivisa di basso livello terminfo per la gestione del terminale
-
- dep: sensible-utils
- utilità per la selezione di un'alternativa sensata
-
- dep: zlib1g (>= 1:1.1.4) [sparc64]
- libreria di compressione - runtime
-
- rec: xterm
- emulatore di terminale per X
- or x-terminal-emulator
- virtual package provided by alacritty, blackbox-terminal, cool-retro-term, deepin-terminal, eterm, foot, gnome-console, gnome-terminal, kitty, konsole, lilyterm, lxterminal, mate-terminal, mlterm, mlterm-tiny, pterm, ptyxis, qmlkonsole, 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-4+b1 | 180.4 kB | 1,175.0 kB | [list of files] |
amd64 | 1.3.0+dfsg-4 | 183.8 kB | 1,013.0 kB | [list of files] |
arm64 | 1.3.0+dfsg-4 | 171.1 kB | 1,168.0 kB | [list of files] |
armel | 1.3.0+dfsg-4 | 152.6 kB | 873.0 kB | [list of files] |
armhf | 1.3.0+dfsg-4 | 155.4 kB | 757.0 kB | [list of files] |
hppa (unofficial port) | 1.3.0+dfsg-4 | 159.6 kB | 898.0 kB | [list of files] |
i386 | 1.3.0+dfsg-4 | 188.8 kB | 1,057.0 kB | [list of files] |
ia64 (unofficial port) | 1.3.0+dfsg-3 | 207.5 kB | 1,609.0 kB | [list of files] |
loong64 (unofficial port) | 1.3.0+dfsg-4 | 177.4 kB | 1,088.0 kB | [list of files] |
m68k (unofficial port) | 1.3.0+dfsg-4 | 170.8 kB | 912.0 kB | [list of files] |
mips64el | 1.3.0+dfsg-4 | 169.2 kB | 1,239.0 kB | [list of files] |
ppc64 (unofficial port) | 1.3.0+dfsg-4 | 186.7 kB | 1,424.0 kB | [list of files] |
ppc64el | 1.3.0+dfsg-4 | 187.3 kB | 1,360.0 kB | [list of files] |
riscv64 | 1.3.0+dfsg-4 | 182.4 kB | 944.0 kB | [list of files] |
s390x | 1.3.0+dfsg-4 | 179.4 kB | 1,056.0 kB | [list of files] |
sh4 (unofficial port) | 1.3.0+dfsg-4 | 168.8 kB | 907.0 kB | [list of files] |
sparc64 (unofficial port) | 1.3.0+dfsg-4 | 154.7 kB | 4,453.0 kB | [list of files] |
x32 (unofficial port) | 1.3.0+dfsg-4 | 182.0 kB | 946.0 kB | [list of files] |