欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Signal
来自开放百科 - 灰狐
Signal 即时通信 App
目录 |
简介
Signal 是一款开源的即时通信软件，采用 GPLv3（客户端） 和 AGPLv3（服务器）许可证。
功能
协议
项目
- 主要使用了 Dropwizard 框架
- Mockito 框架
- AssertJ
- Hamcrest
Cassandra
使用 Apache Cassandra 作为数据库存储服务。
图集
链接
分享您的观点
