Visual Lambda Calculator with Mind Maps

Похожие программы

• XML-RPC for C/C++ (Xmlrpc-c) Бесплатный

  Библиотека программирования для написания сервера XML-RPC или клиента в C или C. XML-RPC является стандартным сетевым протоколом, позволяющим клиентской программе сделать простой запрос типа удаленного вызова процедуры (RPC)

• Visio-EMF Bridge Бесплатный

  Мост Visio-EMF предлагает трансформацию трафаретов Visio и Visio в модели EMF и EMF соответственно. Мост позволяет обрабатывать модели Visio с помощью инструментов EMF, таких как openArchitectureWare или Eclipse Epsilon.

• DMG Automounter for Linux Бесплатный

  DMG Automounter — это скрипт nautilus, который позволяет любому дистрибутиву Linux монтировать файл Mac OS X .dmg (но не устанавливать его, так как для этого потребуется API Mac OS X, которые являются закрытым исходным кодом)

• LiveGraph Бесплатный

  График в реальном времени. В то время как ваше приложение вычисляет и регистрирует результаты в файл CSV с помощью API LiveGraph Writer, плоттер позволяет визуализировать и контролировать результаты в прямом эфире - путем мгн

• MGP Бесплатный

  Плагин Maven GWT используется для компиляции исходных файлов JavaScript из источника Java. Плагин работает GWTCompiler, позволяет настроить параметры компилятора, автоматически обнаруживает местоположение исходных и ресурсных

• pGina Бесплатный

  pGina является системой аутентификации с открытым исходным кодом для ОС Windows, которая использует простые для записи плагины для проверки подлинности через безграничные задние концы.

• PostNuke module pnEWiki Бесплатный

  ErfurtWiki — это внедрение гипертекстовой системы WikiWikiWeb (написанной на языке сценариев PHP). pnEWiki является PostNuke-module для интеграции и повышения ErfurtWiki в PostNuke.

• Stewien's Miscellanous Libraries Бесплатный

  Коллекция различных библиотек, небольших приложений и утилит. Немного чего-то для всех.

• ioda fulltext engine Бесплатный

  ioda — это полнотекстовое программное обеспечение для индексирования, храня слова и метаданные. Обрабатывает логические операторы, скобки и значения расстояния слов в запросах. Для использования в качестве дополнения к сущест

• more - a C++ library Бесплатный

  Многофункциональная библиотека: STL связаны, как замыкания lambda выражения, и частичный заказ. Связь генерации кода и интерпретация вызовов функций. Математика и физика, со спинорами, ENSDF парсер и многое другое.