Browser extension to enable vim mode in the embedded IDE used in Code Expert.
☆15Oct 14, 2025Updated 6 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 10 months ago
- summaries and cheatsheets from my studies at ETH Zürich☆12Aug 17, 2025Updated 8 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆14Jul 6, 2024Updated last year
- slidev multi-entry template☆14May 19, 2022Updated 3 years ago
- 🚀 Collection of libraries used with fms-hf-tuning to accelerate fine-tuning and training of large models.☆14Jan 30, 2026Updated 3 months ago
- An eater & feeder of information.☆18Mar 11, 2025Updated last year
- ☆41Nov 22, 2025Updated 5 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.☆60Updated this week
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated this 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 9 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☆42Updated this week
- ☆34Oct 24, 2023Updated 2 years ago
- Custom HA integration for BWT Perla devices☆45Apr 13, 2026Updated 3 weeks ago
- The main chat app for the Public AI Inference Utility, based on OpenWebUI☆73Apr 20, 2026Updated 2 weeks ago
- A Rust library for onion routing.☆22May 2, 2024Updated 2 years ago
- Share Login State Between the Domain☆45Mar 22, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A tiny Tor client implementation (written in C).☆20Aug 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 11 months ago
- Web app for a practice of four Chinese tones recognition.☆13Aug 29, 2023Updated 2 years ago
- Summary of selected courses at ETH Zurich☆35Jan 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Duplicate an async I/O handle☆42Feb 15, 2026Updated 2 months ago
- Server and client coverage for Meteor☆56Sep 11, 2025Updated 7 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.☆95Apr 23, 2026Updated last week
- Summaries and study materials I've written over the course of my studies at ETH Zurich☆93Aug 2, 2021Updated 4 years ago