(WIP) Theia Extension implementing the CodeRibbon workspace
☆24Apr 9, 2026Updated 6 months ago
Alternatives and similar repositories for CodeRibbon-Theia
Users that are interested in CodeRibbon-Theia are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Navigate your code in an infinite timeline of code patches!☆163Oct 2, 2023Updated 3 years ago
- ☆17Updated this week
- A note taking app based on Zettelkasten.☆27Jun 3, 2022Updated 4 years ago
- A simple Chrome / Edge Chromium extension to unsend all messenger conversations.☆12Jan 18, 2024Updated 2 years ago
- The printer facts API in Rust☆15Nov 20, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Backup Spotify saved tracks, artists and playlists☆12Jun 18, 2016Updated 10 years ago
- This repo contains the published reports☆11Dec 12, 2025Updated 10 months ago
- Using Machine Learning algorithms to classify bots vs humans in Old School Runescape☆12Jul 3, 2020Updated 6 years ago
- Allows user to create a patch from staged files. Also apply a patch from existing file.☆18May 23, 2024Updated 2 years ago
- a limited shell☆14Aug 11, 2015Updated 11 years ago
- Compile WASM binaries to Javascript code.☆31Feb 6, 2024Updated 2 years ago
- History Collector☆56May 24, 2026Updated 4 months ago
- Functional encryption library for python☆22Aug 29, 2024Updated 2 years ago
- An OpenAI API compatible images server to generate or manipulate images.☆18Feb 2, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Monorepo of open source npm packages by Valu Digital.☆13Aug 19, 2026Updated last month
- Exploring synthetic aperture radar imaging by building real hardware☆13Mar 2, 2022Updated 4 years ago
- 📃 Media Request System☆19Jun 11, 2020Updated 6 years ago
- @sxzz's userscripts☆16Updated this week
- The Firefox addon that applies a customizable dark screen over websites rather than making it high-contrast☆13Apr 1, 2024Updated 2 years ago
- Memory-safe FUSE reimplementation of ext4 and btrfs in Rust with block-level MVCC and RaptorQ self-healing. 22-crate workspace, zero unsa…☆23Updated this week
- Preview and edit AnkiDroid cards in your desktop browser.☆12Dec 30, 2019Updated 6 years ago
- ☆12Sep 29, 2023Updated 3 years ago
- ☆32Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Drone plugin for caching artifacts to a central server using sftp☆15Oct 5, 2017Updated 9 years ago
- Intuitive state management for React and Vanilla, easier than ever.☆10Mar 28, 2026Updated 6 months ago
- Parses and normalizes your svn info☆11Oct 28, 2023Updated 2 years ago
- Hitmarkers add-on for Anki☆11Jan 29, 2024Updated 2 years ago
- Memory-safe clean-room Redis reimplementation in Rust with strict/hardened compatibility modes, deterministic replication semantics, diff…☆28Updated this week
- My Utilities for Blender☆11Nov 6, 2022Updated 3 years ago
- FUSE filesystem for Joplin notes☆17Aug 5, 2025Updated last year
- Reproducing GPT on the TinyStories dataset☆22Jan 18, 2024Updated 2 years ago
- The source code for the Spoiler-o-bot, a Telegram spoiler creation bot☆20Dec 19, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Personal voice assistant, with voice interruption and Twilio support☆18Feb 24, 2025Updated last year
- ☆20Sep 28, 2026Updated 2 weeks ago
- A guide to testing different runpod (and other linux VMs) configurations. Specifically the speed of LLM outputs☆18Jan 12, 2024Updated 2 years ago
- ☆18Jul 13, 2024Updated 2 years ago
- Tells you where to buy and sell crypto coins for the best price☆20Jan 12, 2018Updated 8 years ago
- Friendly Terminal Assistant for Developers☆17Mar 23, 2024Updated 2 years ago
- VSCode extension that adds the ability to go to only method symbols declared in the active document☆16Dec 7, 2022Updated 3 years ago