Desk

您的赛博朋克桌面应用平台。

为什么选择 Desk？

Desk 应用程序（基于 Desk 构建的应用）本质上是

• 🎼 面向数据
• 🔒 静态类型（数据和 UI）
• 🤖 可编程（可通过代码扩展）
• 🧲 与其他 Desk 应用程序互操作
• 📱 在 任何地方 运行（网络、桌面、移动）

它是如何工作的？

Desk 由 Desk 编程语言 和 Desk 内核 驱动。

Desk 编程语言

Desk 编程语言（Desk-lang）是一种具有

• 简约语法和语义的编程语言
• 具有推理的类型系统
• 代数效应
• 通过类型和 UUID 可寻址的内容
• 可嵌入的解释器
• 高性能二进制编译器

Desk 应用程序上的任何数据和程序最终都作为 Desk-lang 的片段进行评估。

Desk 内核

Desk 内核是一个平台无关的环境，用于编写和运行 Desk-lang。Desk 应用程序的功能和 UI 是通过使用内核的系统调用构建的。它使用 Bevy 引擎 和 egui。

Desk 内核提供以下功能

• 文件系统
• 类型驱动的 UI 组件
• 增量计算引擎
• 实时协作支持
• 包管理系统
• 版本控制系统
• 权限管理系统
• 3D/2D 带网格的渲染

哲学

• 🎮 似游戏般直观
• 🥼 似专业工具般实用
• 🗺️️ 似电子表格般多功能
• 💗 任何人都能访问
• 🛹 极简设计

目标

我们希望将人们桌面上最顶端的板子变成运行 Desk 的触摸屏显示器。

它好吗？

是的。

加入我们的社区