欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Eclipse Che
来自开放百科 - 灰狐
Eclipse Che: Next-generation Eclipse IDE.
目录 |
简介
Eclipse Che提供:
- 一个基于浏览器的 IDE
- RESTful特性的工作空间(workspace)服务器
- 面向语言、框架、工具的插件体系
- 创建插件和程序集(assemblies)的SDK
Desktop
基于 Electron 的桌面系统。
指南
http://localhost:8080 http://localhost:8080/swagger
图集
链接
分享您的观点