# Desk
### 🔮 The application platform for your cyberpunk desk. 🔮
[](https://desk-x.com)
[](https://github.com/sponsors/ryo33)
[](https://github.com/Hihaheho/Desk/blob/main/LICENSE)
[](https://github.com/Hihaheho/Desk)
[](https://discord.gg/egTTeg7DRp)
## Goal and philosophy
🎯 **We want to make top boards of people's desks into touch panel displays that run Desk.**
- 🎮 **Intuitive** like games
- 🥼 **Pragmatic** like professional tools
- 🗺️️ **Versatile** like spreadsheet
- 💗 **Accessible** to everyone
- 🛹 **Minimalist** design
## Why Desk?
Desk apps (applications built on Desk) are inherently:
- 🎼 **Data-oriented**
- 🔒 **Statically-typed** (data and UI)
- 🤖 **Programmable** (extensible by code)
- 🧲 **Interoperable** with other Desk apps
- 📱 Running on **everywhere** (web, desktop, mobile)
## How does it work?
Desk is powered by *Desk Programming Language* and *Desk Kernel*.
### Desk Programming Language
Desk programming language (Desk-lang) is a programming language which has:
- Minimalistic syntax and semantics
- Type system with inference
- Algebraic effects
- Content-addressable by type and UUID
- Embeddable interpreter
- 🚧 Compiler for performant binary
🚧 not yet implemented
Any data and programs on Desk apps are finally evaluated as snippets of Desk-lang.
### Desk Kernel
Desk kernel (Dkernel) is a platform-agnostic environment for writing and running Desk-lang. Functionalities and UIs of Desk apps are made up by syscall of Dkernel.
Dkernel provides these features:
- 🚧 File system for Desk-lang
- 🚧 Type-driven UI components
- 🚧 Incremental computation engine
- 🚧 Realtime collaboration support
- 🚧 Package management system
- 🚧 Version control system
- 🚧 Permission management system
- 🚧 3D/2D rendering with meshes
🚧 not yet implemented
## Is it any good?
Yes.
## Resources
- [Visualized codebase](https://mango-dune-07a8b7110.1.azurestaticapps.net/?repo=Hihaheho%2FDesk)
## Join our community
👉 [](https://github.com/Hihaheho/Desk/discussions/new?category=q-a)
👉 [](https://github.com/Hihaheho/Desk/discussions)
👉 [](https://github.com/Hihaheho/Desk)
👉 [](https://twitter.com/HihahehoStudio)
👉 [](https://discord.gg/egTTeg7DRp)