alf 1.0
Anda boleh memuat turun dalam masa 5 saat.
Anda juga boleh klik pada Pautan Muat Turun Luaran berikut untuk memulakan muat turun:
http://sourceforge.net/projects/alf/files/alf/alf-1.0/alf-1.0.tgz/download
Tentang alf
Alf adalah koleksi alat untuk bereksperimen dengan Bahasa Formal. Alf mudah alih dan mudah digunakan. Ia telah dibangunkan di Politecnico di Milano.
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++.