欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Vyatta
来自开放百科 - 灰狐
Vyatta has created an open-source, enterprise-class router / firewall / VPN that runs on x86 hardware. Vyatta products include support for standard routing (BGP, OSPF, RIP)protocols, interfaces from T1/E1 to GigE, plus config via CLI and web GUI.
License: GNU General Public License (GPL)
Programming Language : C, C++
分享您的观点
