a-ellison / cx-enable-vimLinks
Browser extension to enable vim mode in the embedded IDE used in Code Expert.
☆14Updated 2 years 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
Sorting:
- Fetches files from ethz websites☆18Updated 11 months ago
- Code for forum to review courses at ETH☆19Updated 2 months ago
- EBNF parsing toolset☆10Updated 2 years ago
- Rust programming in German.☆717Updated last month
- An especially excellent font.☆13Updated 2 years ago
- Contest Management System☆14Updated last month
- Multi-language Analyze text in 26 Cantonal Swiss German, Italian, German, Chinese (simplified), French, Italian. pply natural language un…☆249Updated 2 years ago
- The find/replace box in Notepad++ is Turing Complete☆499Updated 2 years ago
- OSUE exercises☆25Updated 2 years ago
- A website providing links, redirects and tools related to the Technical University Munich☆93Updated last week
- Redirect `.idk` domains using Wikipedia☆1,528Updated last year
- ☆478Updated 3 years ago
- Verified Rust for low-level systems code☆1,970Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆651Updated last month
- Rust programming, in Swissgerman☆176Updated last year
- Programmierparadigmen-Tutorium 2022WS☆28Updated 2 years ago
- x86 C compiler written in untyped lambda calculus☆663Updated 2 years ago
- ☆13Updated 5 years ago
- A Verilog synthesis flow for Minecraft redstone circuits☆1,223Updated 4 years ago
- Software Aided Image Nuking Technology☆11Updated last year
- Put your DHBW schedule where it belongs (Google Calendar, Outlook, Apple, etc.)☆31Updated last week
- Programm zum Flotten, Einfachen Runterladen von Dateien☆152Updated last week
- Rust programming, in French.☆1,558Updated last week
- "I use Arch btw" but it's a Turing-complete programming language.☆900Updated last year
- Programming language for literate programming law specification☆2,086Updated last week
- C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain☆2,022Updated 4 years ago
- An excellent Discord bot.☆24Updated 9 months ago
- Ein fake der Informatik Seite mit dummem und hilfreichem Zeug☆74Updated 3 weeks ago
- competitive programming template☆10Updated 3 months ago
- PGdP-Tests-WS21/22 is a student-created repository used to share code tests.☆50Updated 3 years ago