Browser extension to enable vim mode in the embedded IDE used in Code Expert.
☆15Oct 14, 2025Updated 5 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:
- Checker for "morally correct" induction proofs about haskell programs☆10Mar 16, 2022Updated 4 years ago
- Web app for a practice of four Chinese tones recognition.☆13Aug 29, 2023Updated 2 years ago
- Software Aided Image Nuking Technology☆12Oct 3, 2023Updated 2 years ago
- ITP (ETHZ) Exercise Sheets - LaTeX Style☆17Nov 25, 2014Updated 11 years ago
- Definition of the Viper intermediate verification language.☆96Mar 10, 2026Updated 2 weeks ago
- 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.
- Summaries and study materials I've written over the course of my studies at ETH Zurich☆92Aug 2, 2021Updated 4 years ago
- Webring for current and past members of ETH Zurich 🎓☆17Mar 16, 2026Updated last week
- 过滤qq表情和emoji表情，支持QQ和微信☆16Feb 5, 2015Updated 11 years ago
- EBNF parsing toolset☆10May 20, 2023Updated 2 years ago
- A curated list of awesome tools and scripts for your IPA (Induviduelle Praktische Arbeit)☆11Mar 8, 2023Updated 3 years ago
- Simple and flexible application to manage configuration data aka lists of values.☆17May 14, 2020Updated 5 years ago
- iOS Version for the STAR SDK☆10May 15, 2020Updated 5 years ago
- Deep Learning and Artificial Intelligence Tutorial @ LMU WS 2018/19☆16Feb 1, 2019Updated 7 years ago
- Latex template for: https://www.pkorg.ch/ict/informatiker/☆16Aug 9, 2021Updated 4 years ago
- 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.
- ☆14Oct 3, 2023Updated 2 years ago
- Easily use dogbin from your terminal☆26Nov 21, 2020Updated 5 years ago
- Dynamic DNS for Vercel☆20Jan 20, 2023Updated 3 years ago
- A simple hook to unlock LUKS devices on boot with clevis and TPM on arch linux.☆17Jul 26, 2023Updated 2 years ago
- ☆83Jan 7, 2023Updated 3 years ago
- Benchmarks between Cgo, Go and C☆19Sep 17, 2018Updated 7 years ago
- NPB-Rust: NAS Parallel Benchmarks in Rust☆26Sep 22, 2025Updated 6 months ago
- All my Anki cards for the Computer Science BSc @ ETH Zurich☆17Dec 4, 2024Updated last year
- Tool for downloading all images from a given Flickr account in parallel for max download speed. All images are downloaded in original siz…☆23Aug 31, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Demo to use Traefik as GKE loadbalancer☆26Aug 31, 2020Updated 5 years ago
- Header only, single file, simple and efficient C++11 library to compute the signed distance function (SDF) to a triangle mesh☆181Feb 14, 2026Updated last month
- Cheatsheets for various subjects from the BSc in Computer Science at ETH Zurich☆26Jan 25, 2024Updated 2 years ago
- Fetches files from ethz websites☆17Sep 3, 2024Updated last year
- android app reverse engineering pipeline☆32Aug 18, 2022Updated 3 years ago
- a simple web and MQTT bridge with gigaset-elements APIs (no more maintained)☆16Feb 15, 2026Updated last month
- ☆31Jan 27, 2022Updated 4 years ago
- Download, extract and index Weiboscope data☆24Sep 2, 2019Updated 6 years ago
- Programming Contest Book.☆82Feb 23, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- NConsole is a .NET library to parse command line arguments and execute commands.☆32Sep 17, 2025Updated 6 months ago
- Image editing for people bad at photoshop☆32Apr 14, 2019Updated 6 years ago
- Mandarin Chinese text segmentation and mobile dictionary Android app (中文分词)☆30Feb 1, 2022Updated 4 years ago
- ⏳ a high performance reliable task scheduling package in Go.☆49Feb 16, 2020Updated 6 years ago
- Googol Game or "You should learn when to quit". A JavaScript game.☆49Dec 11, 2019Updated 6 years ago
- Swiss public transport API☆261Jan 4, 2025Updated last year
- A modern x86_64 UNIX-like microkernel-based operating system☆68Sep 25, 2022Updated 3 years ago