urbit / hoon-language-server
Language Server for Hoon. Middleware to translate between the Language Server Protocol and your Urbit.
☆38Updated 2 years ago
Alternatives and similar repositories for hoon-language-server:
Users that are interested in hoon-language-server are comparing it to the libraries listed below
- ☆17Updated 4 years ago
- A flashcard app for Landscape☆31Updated 2 years ago
- RDBMS for Urbit☆25Updated 6 months ago
- Reference card for Hoon runes.☆24Updated 2 years ago
- A tool to streamline syncing Urbit app desks☆20Updated 2 years ago
- Obscure Urbit knowledge not yet found in the official docs☆53Updated 11 months ago
- An operating function (Prototype)☆28Updated 5 months ago
- Urbit app for documentation☆10Updated last year
- WebRTC integration for Urbit: https://grants.urbit.org/proposals/21131866-webrtc-gall-agent-and-external-app☆34Updated 2 years ago
- A portable environment for Urbit dev☆11Updated 2 years ago
- arvo enrichment☆106Updated last month
- Quartus project file for NockPU☆34Updated 5 months ago
- A Sail framework for building reactive Web front-ends☆31Updated last month
- Product board for Landscape.☆20Updated 2 years ago
- ☆14Updated 3 years ago
- Urbit Improvement Proposals☆29Updated last week
- Urbit Bridge for the command line☆22Updated 11 months ago
- ☆28Updated last year
- WebAssembly interpreter suite for Urbit☆34Updated 2 weeks ago
- Complete guide to Gall and Landscape apps on Urbit☆64Updated 3 years ago
- A CLI application which allows you to archive Urbit channels and all linked content in them.☆32Updated 3 years ago
- A reverse proxy for Urbit to utilize moons in support of a planet's or star's services.☆13Updated 2 years ago
- a spaced repetition repetition system on urbit☆50Updated 2 years ago
- a martian calendar☆54Updated 2 years ago
- Urbit usability tools that don't warrant their own repo☆18Updated last year
- Earth to Mars communication done right☆17Updated last year
- Wiki for urbit☆10Updated 7 years ago
- A URL shortener for your Urbit.☆9Updated last year
- RSS App for Urbit☆11Updated 4 years ago
- ☆35Updated 7 months ago