eXtensible Abstract State Machines 5.2-8

Các chương trình liên quan

• Exuberant Ctags Miễn phí

  Exuberant Ctags là một tái thực hiện đa ngôn ngữ của tiện ích ctags Unix. Ctags tạo ra một chỉ số định nghĩa mã nguồn được sử dụng bởi nhiều biên tập viên và tiện ích để ngay lập tức xác định vị trí các định nghĩa.

• TechEd 2010 Schedule Tool Dùng thử miễn phí

  Tải về Bắc Mỹ TechEd 2010 Lịch trình và Twitter ứng dụng để xây dựng lịch trình của bạn và theo dõi những gì đang xảy ra thông qua tùy biến Twitter băm thẻ. Xem tất cả các phiên đã lên lịch và xây dựng lịch biểu của bạn. Làm

• Laview HD Miễn phí

  Laview HD là một phần mềm giám sát đặc biệt được phát triển cho iPad bởi Laview Security Inc.Customers có thể xem video trực tuyến thời gian thực, kiểm soát các hoạt động trên máy tính bảng Android. Chức năng mô tả:1. Sổ Địa

• SystemV Transport tO Remote Kernel Miễn phí

  Cò là một linux 2.6 systemV inter quá trình comunication lớp mở rộng. Quá trình cò có thể chia sẻ các đối tượng IPC, như semaphores hoặc tin nhắn đi qua bộ đệm, trong một cụm đa kiến trúc phân phối.

• ChillEdit Miễn phí

  Một trình soạn thảo văn bản, hy vọng sẽ phát triển thành một trình soạn thảo mã nguồn đầy đủ, mạnh mẽ, sẽ không biên dịch mã, nhưng sẽ hỗ trợ đánh dấu cú pháp và lỗi cú pháp cho các ngôn ngữ phổ biến hơn (C ++, C, HTML, Java,

• PyAALib-JyAALib: Asynchronous Actions Miễn phí

  Dự án PyAALib-JyAALib là một thực hiện Python-Java / Jython của Khung hành động không đồng bộ dựa trên các khái niệm hướng đối tượng thuần túy. Massive Parallel Framework trong ngôn ngữ Python - Tương thích hoàn toàn với Jyth

• Magnify Keyboard Input Dùng thử miễn phí

  Phóng to các trường nhập văn bản, di chuyển con trỏ và chọn văn bản khi sao chép, tất cả chỉ bằng cách trượt ngón tay trên bàn phím. Cũng phóng to để nhanh chóng di chuyển con trỏ, ngay cả đến các cạnh của màn hình. Sử dụng k

• Pexpect - Pure Python Expect-like module Miễn phí

  Pexpect là một mô-đun Python để sinh sản các ứng dụng trẻ em; kiểm soát chúng; và đáp ứng với các mô hình dự kiến trong đầu ra của họ. Pexpect có thể được sử dụng để tự động hóa các ứng dụng tương tác như ssh, ftp, passwd, te

• The Shadow Linux Kernel Patchset Miễn phí

  Shadow-nguồn là một Patchset hạt nhân Linux được thiết kế để được ổn định, bao gồm các bản sửa lỗi và performace tăng cường các bản vá lỗi, và được thiết kế để được mô-đun cho phép những người khác để dễ dàng bao gồm hoặc trừ

• ep128emu Miễn phí

  ep128emu là một giả lập di động của các máy tính Enterprise 64/128, ZX Spectrum 48/128 và Amstrad CPC 464/664/6128