Visual Lambda Calculator with Mind Maps

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

• XML-RPC for C/C++ (Xmlrpc-c) Miễn phí

  Lập trình thư viện để viết một máy chủ XML-RPC hoặc khách hàng trong C hoặc C ++. XML-RPC là một giao thức mạng tiêu chuẩn để cho phép một chương trình khách hàng để thực hiện một đơn giản từ xa thủ tục gọi (RPC) loại yêu cầu

• Visio-EMF Bridge Miễn phí

  Cầu Visio-EMF cung cấp sự chuyển đổi các mô hình Visio stencils và Visio thành các mô hình EMF và MÔ HÌNH EMF, tương ứng. Cây cầu cho phép xử lý các mô hình Visio với các công cụ EMF, chẳng hạn như, openArchitectureWare hoặc

• DMG Automounter for Linux Miễn phí

  DMG Automounter là một kịch bản nautilus cho phép bất kỳ phân phối của Linux để gắn kết một tập tin Mac OS X .dmg (nhưng không cài đặt nó, vì điều đó sẽ yêu cầu mac OS X API được đóng nguồn). README có toàn bộ hướng dẫn cài đ

• LiveGraph Miễn phí

  Một plotter đồ thị thời gian thực. Trong khi ứng dụng của bạn đang tính toán và ghi lại kết quả vào tệp CSV bằng API LiveGraph Writer, trình vẽ cho phép bạn trực quan hóa và theo dõi kết quả trực tiếp - bằng cách lập tức vẽ b

• MGP Miễn phí

  Plugin Maven GWT được sử dụng để biên dịch các tệp nguồn JavaScript từ nguồn Java. Plugin chạy GWTCompiler, cho phép cấu hình các tùy chọn trình biên dịch, tự động phát hiện vị trí tệp nguồn và tài nguyên. Không yêu cầu cài đ

• pGina Miễn phí

  pGina là một hệ thống xác thực thay thế mã nguồn mở cho hệ điều hành Windows sử dụng dễ dàng để viết plugin để chứa xác thực thông qua kết thúc trở lại vô hạn.

• PostNuke module pnEWiki Miễn phí

  ErfurtWiki là một triển khai của hệ thống siêu văn bản WikiWikiWeb (được viết bằng ngôn ngữ kịch bản PHP). pnEWiki là một PostNuke-Module để tích hợp và nâng cao ErfurtWiki vào PostNuke.

• Stewien's Miscellanous Libraries Miễn phí

  Một bộ sưu tập các thư viện linh tinh, các ứng dụng nhỏ, và các tiện ích. Một chút gì đó cho tất cả mọi người.

• ioda fulltext engine Miễn phí

  ioda là một phần mềm lập chỉ mục văn bản đầy đủ, lưu trữ các từ và dữ liệu meta. Xử lý toán tử lô-gic, dấu ngoặc đơn và giá trị khoảng cách từ trong truy vấn. Để sử dụng như là bổ sung của một cơ sở dữ liệu hiện có hoặc độc l

• more - a C++ library Miễn phí

  Thư viện đa năng: Liên quan đến STL, như đóng biểu thức lambda và đặt hàng một phần. Mã thế hệ biên dịch-liên kết, và các cuộc gọi chức năng giải thích. Toán học và vật lý, với spinors, một phân tích cú pháp ENSDF và nhiều