Browser extension to enable vim mode in the embedded IDE used in Code Expert.
☆15Oct 14, 2025Updated 9 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 last year
- summaries and cheatsheets from my studies at ETH Zürich☆13Aug 17, 2025Updated 11 months 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
- ☆14Jul 6, 2024Updated 2 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.
- slidev multi-entry template☆14May 19, 2022Updated 4 years ago
- Handlebars helper for rendering math formulas with mathjax.☆18Jul 23, 2016Updated 10 years ago
- Implementation for MIBURI: Towards Expressive Interactive Gesture Synthesis (CVPR 2026)☆29Jul 15, 2026Updated last week
- 🚀 Collection of libraries used with fms-hf-tuning to accelerate fine-tuning and training of large models.☆14Jan 30, 2026Updated 5 months ago
- An eater & feeder of information.☆18Mar 11, 2025Updated last year
- Shared tests for the compiler design projects HS21.☆19Dec 7, 2021Updated 4 years ago
- umber-lang - A Rust compiled programming language.☆12Oct 30, 2024Updated last year
- SSR ready vite plugin for ESM integration of wasm-pack generated packages☆12Feb 27, 2025Updated last year
- ☆30Apr 21, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆16Oct 1, 2025Updated 9 months ago
- A user authentication solution for Mantra applications☆33Jun 5, 2016Updated 10 years ago
- Clone of isabelle, with LSP extensions in seperate branches☆28Jun 16, 2026Updated last month
- ☆34Oct 24, 2023Updated 2 years ago
- ☆43Jun 14, 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
- React components for collaborative editing: text, rich text, and complex forms☆48Sep 27, 2017Updated 8 years ago
- A tiny Tor client implementation (written in C).☆19Aug 15, 2018Updated 7 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.
- 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.☆43Feb 12, 2020Updated 6 years ago
- ☆40Aug 2, 2022Updated 3 years ago
- Summary of selected courses at ETH Zurich☆40Jan 26, 2024Updated 2 years ago
- Web app for a practice of four Chinese tones recognition.☆13Aug 29, 2023Updated 2 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆76May 30, 2025Updated last year
- a small gui app for linux to control fan speed and monitor temps on a thinkpad☆37Jun 18, 2022Updated 4 years ago
- VSCode syntax highlighting for Cooklang☆26Jan 21, 2026Updated 6 months ago
- Duplicate an async I/O handle☆43Feb 15, 2026Updated 5 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Server and client coverage for Meteor☆56Sep 11, 2025Updated 10 months ago
- Definition of the Viper intermediate verification language.☆100Updated this week
- 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
- Software Aided Image Nuking Technology☆12Oct 3, 2023Updated 2 years ago
- Rust drivers for the SIM7000 series of modems☆26Jun 4, 2026Updated last month
- WLAN/LAN to CAN-Bus Gateway für Kommunikation mit TopTronic(R) E Geräten von Hoval AG☆42Sep 27, 2025Updated 9 months ago