欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenJDK
来自开放百科 - 灰狐
open-source JDK, an implementation of the Java Platform, Standard Edition specification defined in the Java Community Process.
Today this project contains two significant components of the JDK:
- The HotSpot Virtual Machine
- The Java programming-language compiler (javac)
目前 OpenJDK 采取 GPL 2 许可协议。https://openjdk.dev.java.net/source/browse/openjdk/hotspot/trunk/LICENSE?rev=11&view=markup
获取源代码
- https://openjdk.dev.java.net/source/browse/openjdk/
- https://phoneme.dev.java.net/source/browse/phoneme/
- https://glassfish.dev.java.net/public/downloadsindex.html
分享您的观点