Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/Hihaheho/Desk
🔮 The application platform for your cyberpunk desk
https://github.com/Hihaheho/Desk
algebraic-effects functional-programming high-code statically-typed visual-programming
Last synced: 3 months ago
JSON representation
🔮 The application platform for your cyberpunk desk
- Host: GitHub
- URL: https://github.com/Hihaheho/Desk
- Owner: Hihaheho
- License: other
- Archived: true
- Created: 2021-11-09T10:25:46.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2023-09-13T05:08:39.000Z (over 1 year ago)
- Last Synced: 2024-10-29T23:19:31.913Z (3 months ago)
- Topics: algebraic-effects, functional-programming, high-code, statically-typed, visual-programming
- Language: Rust
- Homepage: https://desk-x.com
- Size: 1.7 MB
- Stars: 110
- Watchers: 3
- Forks: 10
- Open Issues: 31
-
Metadata Files:
- Readme: README.md
- Contributing: docs/CONTRIBUTING.md
- Funding: .github/FUNDING.yml
- License: LICENSE.md
- Security: .github/SECURITY.md
Awesome Lists containing this project
README
# Desk
### 🔮 The application platform for your cyberpunk desk
[](https://desk-x.com)
[](https://github.com/Hihaheho/Desk/blob/main/LICENSE)
[](https://github.com/sponsors/ryo33)
[](https://github.com/Hihaheho/Desk)
## 🧊 Project Status: FROZEN 🧊
**This project is currently on hold**. We may consider resuming development in the near future if there's continued interest or demand. For updates on our ongoing projects, please check our Discord or X.
[](https://discord.gg/egTTeg7DRp)
[](https://twitter.com/HihahehoStudio)
## ~~No Release!~~
~~Status: All releases are behind the previous schedule for several reasons, so I updated it below.~~
**Reasons:**
- [ ] I'm building [query-flow](https://github.com/ryo33/query-flow) for `deskc` and `dworkspace`.
- [ ] I plan to discard the current `mirgen` and design a new MIR intervening between Desk-lang and low-level IR to generate a GC-less binary, which is fast as Rust in theory (in my mind).
- [x] I've switched to Ubuntu Desktop from M1 Macbook Pro mainly for financial reasons. As a subsequence of it, I can utilize the mold linker.
- [x] I've returned to Neovim after several years of a temporary stay in the VSCode.
- [ ] With the lowest priority, I have about three my own projects now to improve IDE experience with the Neovim ecosystem.
- [x] I've built a [Keyball39](https://shirogane-lab.com/products/keyball39), a split keyboard placing a *injection-molded* trackball slot in the really ergonomic position.
- [ ] I'm going to completely re-design the Desk-lang.
### ~~Pre-release (by the end of 2025)~~
Pre-release includes:
- [x] incremental Desk-lang compiler
- [x] DeskVM with an official scheduler
- [x] a file system for Desk-lang
- [ ] Desk-lang visual editor
- [ ] A web demo like Rust Playground for Desk-lang
### ~~The first release (by the end of 2030)~~
The first release includes:
- [ ] MVP of Desk Craft, a game engine
- [ ] a platformer game demo
- [ ] a space to publish created games
- [ ] real-time collaboration on Web
- [ ] paid plans for Desk X (official hosting)
[See the draft of the first release](/docs/blog/0001-introduce-desk.md)
## Goals and Philosophy
🎯 **Blur the line between living and coding**
🎯 **Make every software programmable**
- 🎮 **Intuitive** like games
- 🥼 **Pragmatic** like professional tools
- 🗺️️ **Versatile** like spreadsheets
- 💗 **Accessible** to everyone
- 🛹 **Minimalist** design
## Why Desk?
Desk apps are inherently:
- 🎼 **code-oriented** like data-oriented
- 🔒 **statically-typed** (data and UI)
- 🤖 **programmable** (extensible by code)
- 🧲 **interoperable** with other Desk apps
- 📱 running on **everywhere** (web, desktop, mobile)
## How does Desk work?
Desk is consist of:
- Desk Programming Language and Desk Compiler (deskc)
- Desk Workspace System (dworkspace)
- DeskVM (deskvm)
- Desk-plugins (dplugins)
## Desk Programming Language (Desk-lang)
Desk-lang is a programming language that has:
- minimalistic syntax and semantics
- type system with inference
- algebraic effects
- content-addressable by type and UUID
- incremental compilation
Most of the data and programs on Desk apps are finally evaluated as a snippet of Desk-lang.
## Desk Compiler (deskc)
Desk compiler is an incremental compiler for Desk-lang.
**Crates**
- [deskc](/crates/systems/deskc/src): the incremental compiler
- [deskc-lexer](/crates/systems/deskc-lexer/src) scans Desk-lang source code and generates tokens
- [deskc-parser](/crates/systems/deskc-parser/src) parses tokens and generates an AST
- [deskc-typeinfer](/crates/systems/deskc-typeinfer/src) infers types of expressions.
- [deskc-mirgen](/crates/systems/deskc-mirgen/src) generates [MIR](/crates/components/deskc-mir/src)
## Desk-workspace (dworkspace)
Desk-workspace is a platform-agnostic environment for editing Desk-lang.
Desk-workspace provides these features:
- file system for Desk-lang
- permission management system
- realtime collaboration support
**Crates**
- [dworkspace](/crates/systems/dworkspace/src): the implementation
- [dworkspace-codebase](/crates/components/dworkspace-codebase/src) defines structs for a codebase
## DeskVM (deskvm)
DeskVM is a runtime for Desk-lang influenced by Erlang VM.
**Features**
- platform-agnostic
- capable of running many programs as a d-process
- type-driven message passing and pub/sub
- interpreter-agnostic: DeskVM can run anything as a d-process
- preemptive scheduling
- custom scheduler support
**Crates**
- [deskvm](/crates/systems/deskvm/src): the implementation
- [deskvm-dprocess](/crates/components/deskvm-dprocess/src) defines structs of such as d-process
## Desk-plugins (dplugins)
There are many Desk-plugins. Each Desk-plugin implements a single feature as a Bevy Plugin.
- 🚧 **Desk Craft** for game development
- 🚧 **Desk Brain** for productivity
- 🚧 **Desk Verse** for communication
- 🚧 **Desk Robot** for automation
- 🚧 **Desk Board** for BI
- 🚧 **Desk Calendar** for scheduling
- 🚧 **Desk Pages** for hosting
🚧 not yet implemented
## Is it any good?
Yes.
## Resources
- [Contributing Guide](https://github.com/Hihaheho/Desk/blob/main/docs/CONTRIBUTING.md)
## Join our community
👉 [](https://discord.gg/egTTeg7DRp)
👉 [](https://twitter.com/HihahehoStudio)
👉 [](https://github.com/Hihaheho/Desk/discussions/new?category=q-a)
👉 [](https://github.com/Hihaheho/Desk/discussions)
👉 [](https://github.com/Hihaheho/Desk)