Archive of Formal Proofs 2011

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

• ADAM Abstract Data Access Models Miễn phí

  2 framework Java với các mô hình đối tượng thoáng qua và dai dẳng dựa trên cách tiếp cận không chuẩn (ít rõ ràng hơn nhưng phát triển nhanh hơn): một đối tượng là một tập hợp các trường được đặt tên. 3 thư viện không phải đối

• Jedora Remix VM Miễn phí

  Một thiết bị Linux máy ảo (cho VirtualBox). Fedora Remix này nhấn mạnh vào các ứng dụng dựa trên Java. Bao gồm OpenOffice.org, OpenJDK, trình cắm trình duyệt (IcedTea) và các ứng dụng dựa trên Java phổ biến như Azureus / Vuze

• DataAide Miễn phí

  DataAide là một ứng dụng máy tính để bàn VB.Net sử dụng sql server 2000 khách hàng công cụ để tạo ra VB.Net, C #, hoặc VB6 lớp học và thủ tục được lưu trữ cho các bảng trong một cơ sở dữ liệu SQL Server 2k. Nó cũng tạo ra một

• BlackFox OM (30' Series) Miễn phí

  BlackFox OM (BlackFox, The Object Model) là một thư viện để giữ và thao tác các mô hình đối tượng của bất kỳ hệ thống, ứng dụng và thư viện nào. Bạn có thể sử dụng nó như là một phần của công cụ UML, một phần của máy phát điệ

• InfraHID Miễn phí

  Mục đích của dự án là cho phép một webcam bình thường được sử dụng như một thiết bị giao diện con người (HID). Ví dụ về cách sử dụng phần mềm này sẽ được sử dụng là: chuột, trò chơi video điều khiển, bảng trắng điện tử hoặc t

• Prop compiler compiler Miễn phí

  Prop là một ngôn ngữ phù hợp với mô hình dựa trên C ++. Nó thực hiện các kiểu dữ liệu đại số, kết hợp mẫu và viết lại và tạo mã C++ dưới dạng đầu ra.

• ga-flamoot Miễn phí

  Một thuật toán di truyền trong Python cho các chương trình phát triển viết một chuỗi nhất định cho một không gian dữ liệu được phân bổ, sử dụng một ngôn ngữ máy tạo thành chỉ với 7 hướng dẫn và đảo ngược dòng chảy.

• Fennel Miễn phí

  Thì là là một thư viện các thành phần lưu trữ và xử lý dữ liệu được viết bằng C ++. Nó được phát triển như một tiểu dự án của Dự án Eigenbase, và cũng phục vụ như một chất nền cho dự án Farrago.

• NExcel Miễn phí

  Thư viện NExcel cho phép một ứng dụng .NET để đọc các tập tin Ms Excel, tương thích với Excel 97 trở lên. Không cần cài đặt Ms Office Excel hoặc bất kỳ thư viện của bên thứ ba nào. Dựa trên JExcelAPI của Andrew Khan.

• OpenTag Miễn phí

  OpenTag là một ngăn xếp thông tin liên lạc đầy đủ tính năng cho CHẾ ĐỘ DASH7 2 (ISO 18000-7.4). Nó được thiết kế để chạy trên HW nhúng, đặc biệt là RF SoCs, nhưng nó có thể được chuyển đến hầu hết mọi thứ. Kỳ công chính của O