An event-driven asynchronous network application framework
A custom RPC framework implemented by Netty+Kyro+Zookeeper
Static site IDE is a Static Site Generators aka Static Site Editor
This tool can be used to create quickly the skeleton of a web site.
Eclipse integration for Isabelle proof assistant
This is a lightweight java dynamic component framework