Specter - Abstract Arithmetics Library

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

• VAST Miễn phí

  VAST là một thư viện mạng P2P hỗ trợ các ứng dụng môi trường ảo như Trò chơi trực tuyến nhiều người chơi (MMOG) hoặc mô phỏng quy mô lớn. Nó có thể mở rộng đến hàng triệu nút, băng thông hiệu quả và dễ sử dụng.

• TiROS Miễn phí

  TiROS (Tickless Real-Time Operating System) là một ưu tiên ưu tiên trước dựa trên lịch trình thời gian thực (RTOS) phù hợp để sử dụng trong các hệ thống nhúng với nguồn lực rất hạn chế. Nó cung cấp các ưu tiên khó khăn và ngă

• HyperSQL Database Engine (HSQLDB) Miễn phí

  HSQLDB là một cơ sở dữ liệu quan hệ được viết bằng Java, với trình điều khiển JDBC, phù hợp với ANSI SQL: 2008. Một nhỏ, nhanh chóng, multithreaded động cơ và máy chủ với bộ nhớ và đĩa bảng, LOBs, giao dịch cô lập, đa phiên b

• SRecord Miễn phí

  Gói SRecord là một tập hợp các công cụ mạnh mẽ để thao tác các tệp tải EPROM. Nó đọc và viết nhiều định dạng tệp EPROM, và có thể thực hiện nhiều thao tác khác nhau.

• J2EE Deployment Toolkit Miễn phí

  Bộ công cụ này bao gồm ba công cụ nhỏ cho phép người dùng triển khai, tổng quan và không triển khai bất kỳ ứng dụng phù hợp JSR88 / J2EE1.4 nào vào bất kỳ ứng dụng phù hợp JSR88 / J2EE1.4 nào. Mục tiêu của chúng tôi là trở th

• wintrc Miễn phí

  wintrc.exe là một &strace" tiện ích cho MS Windows chạy lệnh được chỉ định cho đến khi nó thoát ra. Nó chặn và ghi lại các cuộc gọi API được gọi bởi một quá trình. Tên của mỗi lệnh gọi API, các đối số của nó và g

• BEA Tuxedo module for Python Miễn phí

  Một mô-đun Python sẽ cho phép các tập lệnh Python kết nối và thực hiện cuộc gọi đến các dịch vụ phần mềm trung gian Tuxedo doanh nghiệp. Mô-đun được thực hiện trực tiếp vào các chức năng bên ngoài Python (tức là: một thư viện

• networktest Miễn phí

  Dự án Linux Kernel Network Conformance Test Suite là một triển khai các công cụ kiểm tra cho các giao thức mạng trong hạt nhân Linux. Mục tiêu chính của dự án này là để cho thử nghiệm của mạng một cách dễ dàng.

• ping google,yahoo,facebook ... Dùng thử miễn phí

  Ứng dụng thông minh và tiện dụng này là để thực hiện các tiện ích mạng như Ping, DNS, thống kê mạng, Reverse DNS.Các tính năng chính -- Chia sẻ kết quả bằng email, SMS, Bluetooth, v.v.- Dễ dàng truy cập và sáng tạo.

• Ceres programming language Miễn phí

  Ceres là một ngôn ngữ máy tính được diễn giải dựa trên C. Mục đích của nó là để được tối thiểu và đơn giản. Nó đang được phát triển như là một sở thích, do đó, không mong đợi nhiều của nó. Thông dịch viên của nó được viết bằn