Visual Lambda Calculator with Mind Maps

相关软件

• XML-RPC for C/C++ (Xmlrpc-c) 免费

  用于在 C 或数字中编写 XML-RPC 服务器或客户端的编程C++。XML-RPC 是一种标准网络协议，允许客户端程序对服务器进行简单的远程过程调用 （RPC） 类型请求。喜欢肥皂或 CORBA ，但简单得多。

• Visio-EMF Bridge 免费

  Visio-EMF 桥分别将 Visio 模具和 Visio 模型转换为 EMF 元模型和 EMF 模型。该桥使用 EMF 工具（如 open 建筑软件或 Eclipse Epsilon）处理 Visio 模型。

• DMG Automounter for Linux 免费

  DMG 自动装载机是一个鹦鹉螺脚本，它允许任何 Linux 发行版装载 Mac OS X .dmg 文件（但不是安装它，因为这需要 Mac OS X API 是封闭源的）。README 具有整个安装说明。请捐赠！

• LiveGraph 免费

  实时图形绘图仪。当应用程序使用 LiveGraph Writer API 计算和记录结果到 CSV 文件时，绘图仪允许您通过即时绘制数据的图表和图形来实时可视化和监视结果。

• MGP 免费

  Maven GWT 插件用于从 Java 源编译 JavaScript 源文件。该插件运行GWTCompiler，允许配置编译器选项，自动检测源和资源文件的位置。不需要本地 GWT 安装

• pGina 免费

  pGina 是 Windows 操作系统的开源替代身份验证系统，它使用易于编写插件来适应通过无限端进行身份验证。

• PostNuke module pnEWiki 免费

  ErfurtWiki 是 WikiWikiWeb 超文本系统的实现（用 PHP 脚本语言编写）。 pnEWiki 是将 ErfurtWiki 集成到 PostNuke 的 PostNuke 模块。

• Stewien's Miscellanous Libraries 免费

  杂项库、小型应用程序和实用程序的集合。给每个人一点东西。

• ioda fulltext engine 免费

  ioda 是一个全文索引软件，存储单词和元数据。处理查询中的逻辑运算符、括号和单词距离值。用作现有数据库或独立数据库的补充。作为单个 prog、TCP 服务器、CGI 或库运行。

• more - a C++ library 免费

  多用途库：与 STL 相关，如闭合 lambda 表达式和部分排序。 代码生成编译链接和解释函数调用。 数学和物理， 与旋转器， ENSDF 解析器和更多.