a-ellison / cx-enable-vim
Browser extension to enable vim mode in the embedded IDE used in Code Expert.
☆14Updated last year
Alternatives and similar repositories for cx-enable-vim:
Users that are interested in cx-enable-vim are comparing it to the libraries listed below
- All my Anki cards for the Computer Science BSc @ ETH Zurich☆12Updated 3 months ago
- Code for forum to review courses at ETH☆19Updated 2 months ago
- Fetches files from ethz websites☆18Updated 6 months ago
- EBNF parsing toolset☆10Updated last year
- Rust programming, in Swissgerman☆172Updated 7 months ago
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆503Updated last month
- Collaborative Real-Time Coding in Java using the Fundies 2 Tester and Image libraries.☆9Updated 4 years ago
- ☆191Updated this week
- An especially excellent font.☆13Updated 2 years ago
- Programm zum Flotten, Einfachen Runterladen von Dateien☆146Updated 3 weeks ago
- Some challenge solutions solved using z3☆204Updated 2 years ago
- Browser extension for VVZ (ETHZ)☆10Updated 3 months ago
- x86 C compiler written in untyped lambda calculus☆650Updated 2 years ago
- Ein fake der Informatik Seite mit dummem und hilfreichem Zeug☆66Updated this week
- seL4 specification and proofs☆536Updated this week
- Mensas erste nützliche Schlangen-Abmessungssoftware☆30Updated 2 years ago
- A toy Feistel network implementation☆121Updated 4 years ago
- The CompCert formally-verified C compiler☆1,954Updated last week
- Bindings for WebUntis☆66Updated last year
- Checker for "morally correct" induction proofs about haskell programs☆9Updated 3 years ago
- Automatic verification of LLVM optimizations☆877Updated 2 weeks ago
- ☆445Updated 2 years ago
- https://bahn.expert☆539Updated last month
- This is a telegram bot written in go that allows you to record the current length of the Griebnitzsee mensa queue.☆10Updated last year
- A website that simulates various finite state machines: DFA, NFA, PDA.☆103Updated 2 years ago
- Solutions to Stand Up Maths 5x5 Unique 25 letter problem☆122Updated 2 years ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆574Updated 3 weeks ago
- eth & uzh mensas in zurich☆29Updated last month
- Search for the K12 neighborly polyhedron.☆108Updated 3 months ago
- Der Kompilierer der Deutschen Programmiersprache☆147Updated 2 weeks ago