欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
VyOS
VyOS 开源(GPL)路由、防火墙平台,是一个基于 Debian 的网络操作系统。
2013年10月,一个独立团体以 VyOS 的名义开始了 Vyatta Core 的分支。