انگلیسیفرانسویاسپانیایی

Ad


فاویکون OnWorks

coqtop.byte - آنلاین در ابر

coqtop.byte را در ارائه دهنده هاست رایگان OnWorks از طریق Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا کنید.

این دستور coqtop.byte است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.

برنامه:

نام


coqtop.byte - بایت کد Coq سطح بالایی

خلاصه


coqtop.byte [ گزینه های ] [ پرونده ]

شرح


coqopt.byte نسخه بایت کد Coq است. نباید مستقیماً نامیده شود، بلکه فقط توسط
coqtop و coqc

با استفاده از خدمات onworks.net از coqtop.byte به صورت آنلاین استفاده کنید


سرورها و ایستگاه های کاری رایگان

دانلود برنامه های ویندوز و لینوکس

  • 1
    D3.js
    D3.js
    D3.js (یا D3 برای اسناد داده محور)
    یک کتابخانه جاوا اسکریپت است که به شما اجازه می دهد
    برای تولید داده های پویا و تعاملی
    تجسم در مرورگرهای وب با D3
    شما...
    D3.js را دانلود کنید
  • 2
    سایه ها
    سایه ها
    یک پروکسی تونل سریع که به شما کمک می کند
    دور زدن فایروال ها این یک برنامه کاربردی است
    که می توان از آن نیز دریافت کرد
    https://sourceforge.net/projects/shadowsocksgui/.
    این هه...
    Shadowsocks را دانلود کنید
  • 3
    تم های GLPI
    تم های GLPI
    دانلود نسخه در
    https://github.com/stdonato/glpi-modifications/
    تم های رنگی برای GLPI 0.84 و 0.85 New
    تغییرات برای GLPI این یک است
    برنامه ای که ج...
    دانلود تم های GLPI
  • 4
    SMPlayer
    SMPlayer
    SMPlayer یک پخش کننده رسانه رایگان برای
    ویندوز و لینوکس با کدک های داخلی
    که می تواند ویدیوهای یوتیوب را نیز پخش کند. یکی
    از جالب ترین ویژگی های
    SMPlayer:...
    SMPlayer را بارگیری کنید
  • 5
    AAX به MP3
    AAX به MP3
    استفاده: - Audible Manager را نصب کنید
    و یک فایل اکانت خود را باز کنید. - امضا کردن
    وارد حساب صوتی خود شوید (در
    کاربرد). اکنون برنامه می تواند
    تبدیلت کن...
    دانلود AAX به MP3
  • 6
    TestLink
    TestLink
    TestLink یک مدیریت تست مبتنی بر وب است
    ابزار نرم افزار تست را ارائه می دهد
    مشخصات، طرح های تست و اجرا،
    گزارش، مشخصات مورد نیاز
    و ...
    TestLink را دانلود کنید
  • بیشتر "

دستورات لینوکس

Ad