alf 1.0
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/alf/files/alf/alf-1.0/alf-1.0.tgz/download
关于 alf
Alf 是用于尝试正式语言的工具的集合。阿尔夫是便携式和易于使用。它是在米兰的 Politecnico 开发的。
相关软件
-
Png to Ico 免费试用
Png 到 Ico 是一个易于使用的工具,可以将 PNG 文件转换为 ICON 文件。它转换质量真的很好,支持批量转换。此工具允许您轻松创建高质量的图标。你不需要编辑图标,你需要的只是一个好的PNG文件。主要特点:转换质量真的很好。支持批处理转换。允许您轻松创建高质量的图标。不需要编辑图标。{@}
-
WebFlowChart 免费试用
什么是 WebFlowChart?WebFlowChart 是基于 Java 的流程图编辑器。这是为在内联网或互联网系统中使用而开发的,特别适用于流程或图表演示。要点:您可以直接在 CMS 系统中更改流程图图形。不需要上传和导出图形。鼠标单击就足够了,您可以更改流程图,然后通过单击鼠标将其再次保存为图形。如果您已经在公司使用 CMS 系统,WebFlowChart 编辑器可以通过 CGI 接口集成到您的系统中,没有任何问题。随附具有接
-
ORCGeNext 免费试用
目标此工具可用于为处理数据库的多层应用程序生成基础代码(属性、数据访问层、业务逻辑层、表示层、启动项目、应用程序服务器、思考客户端)。此工具生成的应用程序可以运行和处理数据库,而无需对数据库的代码进行其他更改。-这个伟大的工具生成功能齐全的MDI WinForm数据库应用程序;-这个伟大的工具减少了手工创建的代码;-这个伟大的工具生成完全 WinForm 用户界面(生成用户界面控件、用户界面控制和业务对象的数据绑定、生成验证代码等
-
Excellent Minimize to Tray 免费试用
无论 Adobe Acrobat、 MS Word 、 Excel 、 MS Outlook 、 Firefox 、 Firefox 、 Microsoft Office: 每个应用程序都可以最小化到信息区域 (托盘) 。最小化任何应用程序与 1 clik 作为图标进入托盘时钟旁边的信息区域(托盘)。自动,手动和由 BossKey。很棒:应用程序可以防止意外关闭,还包括 BossKey(立即尽量减少可疑应用)。.主要功能:BossKey,最小化托
-
Gemini Linux 免费
双子座 Linux 是一个基于 debian 的轻量级 linux 发行版。该项目提供快速稳定的系统,默认为 XFCE 桌面环境和 Openbox 窗口管理器。
-
Memento 免费
纪念品是基于模因理论的轻量级知识管理系统。使用它来存储你学到的东西,然后使用它的网络日志风格的发布工具来分享你了解的东西。{@}
-
FastCGI / CGI C++ library 免费
以标准语言编写的现代便携式 CGI C++。异步 CGI 和 FastCGI 均在基于 Boost C++ 库(特别是 Boost.Asio)构建的清晰、简单、高效的库中得到支持。可应要求提供免费和商业支持。
-
GerbMerge 免费
GerbMerge 是一个用于将 Gerber/Excellon 文件组合用于印刷电路板制造的程序。它可以对同一作业、不同作业的副本进行面板化,也可以轮换作业。GerbMerge 可以在批处理模式下运行,也可以与 GUI 交互运行。
-
Japplis Toolbox 免费
Japplis 工具箱是一个应用程序中的文本实用程序的汇编。它可以编码和解码 URL, Base64, 十六进制, ROT13, ROT47, Java 单码, Volapuk.它可以将数字从/转换为二进制、八进制、十进制、十六进制和日期。它为您提供文本信息,如字符计数、字数、行数、哈希代码、MD5 或 SHA。您可以获取 Java 系统属性、环境变量或 Swing 默认值。它查找文本和文件中的正则表达式,甚至压缩 gz。
-
Eclipse CDT GNU PowerPC Plug-in 免费
Eclipse C/C++工具 (CDT) 的插件,可添加特定于 PowerPC C/C++的新项目类型。