项目介绍
binghe/informatica-public 是一个托管在 GitHub 上的开源项目，主要使用 Standard ML 编写，采用 Creative Commons Zero v1.0 Universal 许可证，目前获得 75 个 Star、7 次 Fork。
- 仓库全名
- binghe/informatica-public
- 开源许可证
- Creative Commons Zero v1.0 Universal
- Star 数
- 75
- Fork 数
- 7
README 摘要
author: Chun Tian informatica-public Code and documents developed during Chun Tian's MSc of Computer Science study at University of Bologna (Italy). List of public work \(public code\): CCS: A formalization of process algebra CCS in HOL4 \(MSC exam project\) CCS2: Further formalization of process algebra CCS in HOL4 \(“tirocinio” project\) FOOL: A bytecode compiler and interpreter for FOOL+ language \(Exam project…
完整内容见 GitHub 原始 README 或本页 。
常见问题
informatica-public 用什么语言开发？
主要使用 Standard ML 编写，采用 Creative Commons Zero v1.0 Universal 许可证，目前有 75 个 Star。
informatica-public 可以免费商用吗？
仓库标注的许可证为 Creative Commons Zero v1.0 Universal，商用前请先阅读仓库 LICENSE 文件确认授权范围。
如何获取 informatica-public 的源码？
可以直接克隆仓库：git clone https://github.com/binghe/informatica-public.git，默认分支为 master；安装与运行步骤见仓库 README。
informatica-public 最近还在维护吗？
仓库最近一次更新为 2023年1月2日，当前没有未关闭的 Issue；Star 数为 75，可作为社区活跃度的参考。
相关仓库
已验证Windows、NSX、Linux TrueCrypt v. 7.1a二进制文件和源文件
HOL 4理论证明系统的典型来源。 分支开发是“主线开发”发生的地方;当开发通过我们的回归测试时，Master就会向前合并以追赶。
2026年 最新 便宜机场 低价机场 划算机场 平价机场 免费机场 性价比机场 白嫖机场 机场评测 科学上网 梯子 机场节点订阅 免费节点 Clash V2ray Mihomo V2rayN Singbox Shadowrocket Surge
The MaPLe compiler: efficient and scalable parallel functional programming
包含专门为Hak 5 WiFi Pineapple MK 6和MK 7编写的不同工具的仓库。
评论