欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
JNode
来自开放百科 - 灰狐
JNode, a free operating system written in Java
JNode is a simple to use & install Java operating system for personal use.It runs on modern devices.
Any java application will run on it, fast & secure! JNode is open source and uses the LGPL license.
分享您的观点
