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 3 months ago
- Put your DHBW schedule where it belongs (Google Calendar, Outlook, Apple, etc.)☆33Updated last month
- The find/replace box in Notepad++ is Turing Complete☆499Updated 2 years ago
- Programm zum Flotten, Einfachen Runterladen von Dateien☆155Updated last month
- This is a repository to collect JUnit Tests for GAD exercises at TUM in SS21☆33Updated 3 years ago
- Browser extension to automatically register in TISS☆40Updated 5 months ago
- An especially excellent font.☆13Updated 2 years ago
- Rust programming, in Swissgerman☆176Updated last year
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆654Updated 2 months ago
- A website providing links, redirects and tools related to the Technical University Munich☆97Updated 3 weeks ago
- CSHub☆30Updated 2 years ago
- Resources for the UQCS competitive programming group☆20Updated this week
- x86 C compiler written in untyped lambda calculus☆666Updated 2 years ago
- Contest Management System☆14Updated 2 months ago
- ☆476Updated 4 years ago
- ☆328Updated 5 months ago
- All my Anki cards for the Computer Science BSc @ ETH Zurich☆15Updated 8 months ago
- The single instruction C compiler☆1,455Updated 3 years ago
- ☆33Updated 2 months ago
- Preimage attack against NeuralHash 💣☆672Updated 2 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆829Updated last year
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,155Updated 2 weeks ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆665Updated last week
- Programmierparadigmen-Tutorium 2022WS☆28Updated 2 years ago
- Collection of JUnit Tests for GAD exercises at TUM in SS22☆34Updated 3 years ago
- A Verilog synthesis flow for Minecraft redstone circuits☆1,227Updated 4 years ago
- Lernmaterialien LA I/II☆33Updated 7 years ago
- SwissCovid is the official contact tracing app of Switzerland.☆219Updated 3 years ago
- Ein fake der Informatik Seite mit dummem und hilfreichem Zeug☆76Updated last week