欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Mahara
来自开放百科 - 灰狐
Mahara是一个开源的电子文件夹,网络日志,履历表生成器和社交网络系统。它能够连接用户、建立群组和在线学习社区,它旨在为用户提供终身学习的工具和社区。为了尽可能的灵活和可扩展,系统被设计成模块化。
Mahara 采用 GNU GPL v3 许可协议。
安装
Windows用户,可以XAMPP的方式安装体验。
图集
链接
分享您的观点