clide2:一种与语言无关的协作云 IDE

时间:2024-07-01 05:01:06
【文件属性】:

文件名称:clide2:一种与语言无关的协作云 IDE

文件大小:4.12MB

文件格式:ZIP

更新时间:2024-07-01 05:01:06

Scala

Clide2(测试版) Clide2是一个基于云的、与语言无关的协作开发环境。 Clide最初是作为定理证明器的 Web 界面,但现在已扩展到用于创建任意内容的通用协作环境。 特征 移动- clide 的默认前端可以在任何现代浏览器中运行,并利用最先进的 HTML5 技术,而后端可以在任何地方。 这样,您可以根据需要在平板电脑上进行重定理证明。 协作- clide 的整个架构是围绕概念协作构建的。 Extensible - Clide 引入了通用协作的概念:消除了人类和非人类协作者之间的区别,这允许非常丰富的插件。 分布式- 开发体验的所有方面都可以在不同的服务器上提供。 Clide 负责协调所有这些信息并将它们整合到流畅的用户体验中。 现场演示 有一个预发布的测试版。 你可能只是试一试: 安装 如果您考虑为该项目做出贡献,您应该首先按照以下简单步骤设置 clide 基础设施的本地


网友评论