Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. eXtensible Abstract State Machines

eXtensible Abstract State Machines 5.2-8

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

Tujuan projek adalah untuk membangunkan bahasa pengaturcaraan yang semantiknya berdasarkan matematik yang minimum dan penting Mesin.

sejarah versi

  • Versi 5.2-8-i86pc-linux diposkan pada 2003-12-10
    Beberapa pembaikan dan pengemaskinian
  • Versi 5.2-8-i86pc-linux diposkan pada 2003-12-10

Butiran Atur Cara

Atur Cara Berkaitan

  • Exuberant Ctags Percuma

    Exuberant Ctags adalah reimplement multilanguage utiliti unix ctags. Ctags menjana indeks definisi kod sumber yang digunakan oleh banyak editor dan utiliti untuk segera mencari definisi.

  • TechEd 2010 Schedule Tool Percubaan Percuma

    Muat turun Jadual TechEd 2010 Amerika Utara dan aplikasi Twitter untuk membina jadual anda dan memantau apa yang sedang berlaku melalui tag hash Twitter yang disesuaikan. Lihat semua sesi yang dijadualkan dan bina jadual and

  • Laview HD Percuma

    Laview HD adalah perisian pemantauan yang dibangunkan khas untuk iPad oleh Laview Security Inc.Pelanggan boleh melihat penstriman video masa nyata, mengawal operasi pada tablet Android. Perihalan fungsi:1. Buku Alamat 2. Kawa

  • SystemV Transport tO Remote Kernel Percuma

    Stork adalah sambungan lapisan antara proses linux 2.6 sistemV. Proses stork boleh berkongsi objek IPC, seperti semaphores atau mesej yang lulus penampan, dalam kelompok pelbagai seni bina yang diedarkan.

  • ChillEdit Percuma

    Editor teks, yang diharapkan akan berkembang menjadi editor kod penuh, berkuasa, sumber, yang tidak akan menyusun kod, tetapi akan menyokong kesilapan syntax yang menyerlah dan syntax untuk bahasa yang lebih biasa (C ++, C, H

  • PyAALib-JyAALib: Asynchronous Actions Percuma

    Projek PyAALib-JyAALib adalah pelaksanaan Python-Java/Jython rangka tindakan asynchronous berdasarkan Konsep Berorientasikan Objek Tulen. Rangka Kerja Selari Besar-besaran dalam Bahasa Python - Serasi Penuh dengan Jython-JAVA

  • Magnify Keyboard Input Percubaan Percuma

    Besarkan medan input teks, alihkan kursor dan pilih teks semasa menyalin, semuanya dengan hanya menggulung jari pada papan kekunci. Juga membesar untuk cepat menggerakkan kursor, walaupun ke tepi skrin. Gunakan kanta pembesar

  • Pexpect - Pure Python Expect-like module Percuma

    Pexpect adalah modul Python untuk pemijahan aplikasi kanak-kanak; mengawal mereka; dan bertindak balas kepada corak yang dijangkakan dalam output mereka. Pexpect boleh digunakan untuk mengautomasikan aplikasi interaktif seper

  • The Shadow Linux Kernel Patchset Percuma

    Sumber bayang-bayang adalah Patchset Kernel Linux yang direka untuk menjadi stabil, termasuk pembaikan dan tompok-tompok meningkatkan prestasi, dan direka untuk menjadi modular yang membolehkan orang lain dengan mudah memasuk

  • ep128emu Percuma

    ep128emu adalah emulator mudah alih Enterprise 64/128, ZX Spectrum 48/128, dan Amstrad CPC 464/664/6128 komputer