İngilizceFransızcaİspanyolca

Ubuntu | Fedora | VPN | File sharing


OnWorks favicon'u

coqtop.opt - Bulutta Çevrimiçi

Coqtop.opt'u Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü üzerinden OnWorks ücretsiz barındırma sağlayıcısında çalıştırın

Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen coqtop.opt komutudur.

Program:

ADI


coqtop.opt - Yerel kod Coq üst düzeyi

SİNOPSİS


coqopt.opt [ seçenekleri ] [ dosya ]

TANIM


coqopt.opt Coq'un yerel kod sürümüdür. Doğrudan çağrılmamalı, yalnızca
by ocak ve koklamak

onworks.net hizmetlerini kullanarak coqtop.opt'u çevrimiçi kullanın


Ücretsiz Sunucular ve İş İstasyonları


Windows ve Linux uygulamalarını indirin


  • 1
    paket dosya yöneticisi
    paket dosya yöneticisi
    Bu, Total War paketi dosya yöneticisidir.
    proje, sürüm 1.7'den başlayarak. A
    Warscape'e kısa bir giriş
    modlama: ...
    packfilemanager'ı indirin
  • 2
    IPerf2
    IPerf2
    Ölçmek için bir ağ trafiği aracı
    Metriklerle TCP ve UDP performansı
    hem verim hem de gecikme süresi civarında. NS
    hedefler aktif bir şekilde sürdürmeyi içerir
    iperf kodu...
    IPerf2'yi indirin
  • 3
    fre:ac - ücretsiz ses dönüştürücü
    fre:ac - ücretsiz ses dönüştürücü
    fre:ac ücretsiz bir ses dönüştürücü ve CD'dir
    çeşitli formatlar ve kodlayıcılar için ripper.
    MP3, MP4/M4A, WMA, Ogg özelliklerine sahiptir
    Vorbis, FLAC, AAC ve Bonk biçimi
    destek, ...
    fre:ac indir - ücretsiz ses dönüştürücü
  • 4
    matplotlib
    matplotlib
    Matplotlib kapsamlı bir kütüphanedir
    statik, hareketli ve
    Python'da etkileşimli görselleştirmeler.
    Matplotlib kolay şeyleri kolaylaştırır ve
    zor şey...
    Matplotlib'i indirin
  • 5
    Bot Adam
    Bot Adam
    Chatbot mantığınızı bir kez yazın ve
    mevcut olanlardan birine bağlayın
    Amazon dahil mesajlaşma servisleri
    Alexa, Facebook Messenger, Slack,
    Telgraf, hatta sen...
    BotMan'i indirin
  • 6
    Joplin
    Joplin
    Joplin ücretsiz ve açık bir kaynaktır
    not alma ve yapılacaklar uygulaması
    çok sayıda notu işleyebilir
    Markdown formatı, bunları organize edin
    defterler ve...
    İndir Joplin
  • Daha fazla »

Linux komutları

Ad




ONWORKS® HAKKINDA

OnWorks, ücretsiz iş istasyonları, çevrimiçi AntiVirus, ücretsiz VPN güvenli proxy'leri ve ücretsiz kişisel ve iş e-postası gibi bulut hizmetleri sunan ücretsiz bir çevrimiçi VPS barındırma sağlayıcısıdır. Ücretsiz VPS'miz CentOS, Fedora, Ubuntu ve Debian tabanlı olabilir. Bazıları çevrimiçi Windows veya çevrimiçi MacOS gibi olacak şekilde özelleştirilmiştir.

Site Bağlantıları
Sitelerimiz

Telif hakkı ©2024 OffiDocs Group OU. Tüm hakları Saklıdır. OnWorks® tescilli bir ticari markadır.