Browser extension to enable vim mode in the embedded IDE used in Code Expert.
☆15Oct 14, 2025Updated 8 months ago
Alternatives and similar repositories for cx-enable-vim
Users that are interested in cx-enable-vim are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Efficient Git Bisect using Docker Caching for Fast Repeated and Concurrent Bisection☆11Jun 30, 2025Updated 11 months ago
- summaries and cheatsheets from my studies at ETH Zürich☆12Aug 17, 2025Updated 9 months ago
- Handlebars helper for rendering math formulas with mathjax.☆18Jul 23, 2016Updated 9 years ago
- Checker for "morally correct" induction proofs about haskell programs☆11Mar 16, 2022Updated 4 years ago
- Meteor package to profile imports on the client.☆17Aug 20, 2020Updated 5 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.
- ☆14Jul 6, 2024Updated last year
- slidev multi-entry template☆14May 19, 2022Updated 4 years ago
- 🚀 Collection of libraries used with fms-hf-tuning to accelerate fine-tuning and training of large models.☆14Jan 30, 2026Updated 4 months ago
- An eater & feeder of information.☆17Mar 11, 2025Updated last year
- ☆41Nov 22, 2025Updated 6 months ago
- SSR ready vite plugin for ESM integration of wasm-pack generated packages☆12Feb 27, 2025Updated last year
- Shared tests for the compiler design projects HS21.☆18Dec 7, 2021Updated 4 years ago
- A highly configurable GNOME shell extension for viewing the weather.☆62Jun 5, 2026Updated last week
- Clone of isabelle, with LSP extensions in seperate branches☆28Jun 7, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆30Apr 21, 2021Updated 5 years ago
- A user authentication solution for Mantra applications☆33Jun 5, 2016Updated 10 years ago
- umber-lang - A Rust compiled programming language.☆12Oct 30, 2024Updated last year
- Repository for community related content for swiyu - the Swiss e-ID trust infrastructure☆42Jun 4, 2026Updated last week
- ☆34Oct 24, 2023Updated 2 years ago
- Custom HA integration for BWT Perla devices☆47May 21, 2026Updated 3 weeks ago
- The main chat app for the Public AI Inference Utility, based on OpenWebUI☆77Apr 20, 2026Updated last month
- A Rust library for onion routing.☆22May 2, 2024Updated 2 years ago
- Share Login State Between the Domain☆45Mar 22, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A tiny Tor client implementation (written in C).☆19Aug 15, 2018Updated 7 years ago
- Text analysis of a discord chat group☆32Nov 23, 2020Updated 5 years ago
- bgfx runtime shader compiler. Library version of the bgfx shaderc tool to build bgfx shaders from sources at runtime.☆42Feb 12, 2020Updated 6 years ago
- React components for collaborative editing: text, rich text, and complex forms☆48Sep 27, 2017Updated 8 years ago
- ☆40Aug 2, 2022Updated 3 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆75May 30, 2025Updated last year
- Web app for a practice of four Chinese tones recognition.☆13Aug 29, 2023Updated 2 years ago
- Summary of selected courses at ETH Zurich☆38Jan 26, 2024Updated 2 years ago
- a small gui app for linux to control fan speed and monitor temps on a thinkpad☆37Jun 18, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Duplicate an async I/O handle☆42Feb 15, 2026Updated 3 months ago
- Server and client coverage for Meteor☆56Sep 11, 2025Updated 9 months ago
- Software Aided Image Nuking Technology☆12Oct 3, 2023Updated 2 years ago
- ITP (ETHZ) Exercise Sheets - LaTeX Style☆17Nov 25, 2014Updated 11 years ago
- A game engine written in Crystal using crsfml☆30Mar 13, 2023Updated 3 years ago
- Definition of the Viper intermediate verification language.☆97Jun 6, 2026Updated last week
- WLAN/LAN to CAN-Bus Gateway für Kommunikation mit TopTronic(R) E Geräten von Hoval AG☆42Sep 27, 2025Updated 8 months ago