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