Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. alf

alf 1.0

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 2.3/5 - ‎4 ‎Undi
Muat turun

Alf adalah koleksi alat untuk bereksperimen dengan Bahasa Formal. Alf mudah alih dan mudah digunakan. Ia telah dibangunkan di Politecnico di Milano.

sejarah versi

  • Versi files diposkan pada 2009-12-09
    Beberapa pembaikan dan pengemaskinian
  • Versi alf-1.0 diposkan pada 2007-01-04

Butiran Atur Cara

Atur Cara Berkaitan

  • Png to Ico Percubaan Percuma

    Png ke Ico adalah alat yang mudah digunakan yang boleh menukar fail PNG ke fail ICON. Ia kualiti penukaran benar-benar baik, dan ia menyokong penukaran kelompok. Alat ini membolehkan anda dengan mudah membuat ikon berkualiti

  • WebFlowChart Percubaan Percuma

    Apa itu WebFlowChart?WebFlowChart adalah editor carta aliran berdasarkan Java?. Ini telah dibangunkan untuk digunakan dalam sistem Intranet atau Internet dan sangat sesuai untuk pembentangan proses atau carta.Titik: Anda

  • ORCGeNext Percubaan Percuma

    ObjektifAlat ini boleh digunakan untuk menjana kod asas (atribut, lapisan akses data, lapisan logik perniagaan, lapisan pembentangan, projek permulaan, pelayan aplikasi, berfikir pelanggan) untuk aplikasi berbilang peringka

  • Excellent Minimize to Tray Percubaan Percuma

    Tidak kira jika Adobe Acrobat, MS Word, Excel, MS Outlook, Firefox, Microsoft Office: Setiap Aplikasi boleh diminimumkan ke dalam kawasan info (dulang). Meminimumkan sebarang Aplikasi dengan 1 clik sebagai ikon ke dalam kawas

  • Gemini Linux Percuma

    Gemini Linux adalah pengedaran linux berasaskan debian ringan. Projek ini menyediakan sistem yang cepat dan stabil dengan Persekitaran Desktop XFCE dan pengurus tetingkap Openbox sebagai lalai.

  • Memento Percuma

    Memento adalah sistem pengurusan pengetahuan yang ringan berdasarkan teori meme. Gunakannya untuk menyimpan perkara yang telah anda pelajari, kemudian gunakan kemudahan penerbitan gaya weblog untuk berkongsi perkara yang anda

  • FastCGI / CGI C++ library Percuma

    Perpustakaan CGI moden dan mudah alih yang ditulis dalam standard C++. CGI asynchronous dan FastCGI kedua-duanya disokong di perpustakaan yang jelas, mudah dan cekap yang dibina di atas perpustakaan Boost C++ (esp. Boost.Asio

  • GerbMerge Percuma

    GerbMerge adalah program untuk menggabungkan fail Gerber / Excellon untuk pembuatan papan litar bercetak. Ia boleh panelize salinan pekerjaan yang sama, pekerjaan yang berbeza, dan juga boleh memutar pekerjaan. GerbMerge bole

  • Japplis Toolbox Percuma

    Japplis Toolbox adalah kompilasi utiliti teks dalam satu aplikasi.Ia boleh mengekod dan menyahkod URL, Base64, Hex, ROT13, ROT47, Java unicode, Volapuk.Ia boleh menukar nombor dari / ke binari, oktal, perpuluhan, hexadeci

  • Eclipse CDT GNU PowerPC Plug-in Percuma

    Pemalam untuk Eclipse C/C++ Development Tooling (CDT) yang menambah Jenis Projek baru khusus untuk pembangunan PowerPC C/C++.