dspinellis / kbd-layout-fix
Auto-correct text entered with the wrong keyboard layout
☆13Updated 4 years ago
Alternatives and similar repositories for kbd-layout-fix:
Users that are interested in kbd-layout-fix are comparing it to the libraries listed below
- Export Jupyter Notebooks to (Xe)LaTeX with Greek Support☆12Updated 6 years ago
- Article for the GFOSS - Open Technologies Alliance by DMST students☆11Updated 6 years ago
- Add AI capabilities to any readline-enabled command-line program☆183Updated 4 months ago
- A guided tour of the Universe☆23Updated 3 years ago
- The Greek Legacy☆14Updated 4 years ago
- A list of fun (and safe) activities for lockdowns☆22Updated 4 years ago
- Tools and standards for conducting and evaluating research in software engineering☆308Updated this week
- Resources on the Artifact Evaluation (AE) Process☆17Updated 4 years ago
- Simple Java AWT application to draw a Christmas card☆11Updated last year
- ☆36Updated 2 years ago
- Progress ABL 4GL support for Sublime Text 3☆9Updated 6 years ago
- First assignment for 2023.☆9Updated last year
- Ο Καλλίνικος είναι μία πλατφόρμα εκμάθησης αλγορίθμων για διαγωνισμούς πληροφορικής.☆23Updated 5 years ago
- A Python tool used for parsing exam questionnaires☆15Updated this week
- A Tool for Mining Flaky Tests at Scale☆16Updated 3 months ago
- A framework for testing compilers' type checkers☆17Updated 5 months ago
- ☆12Updated last month
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- Testing Configuration Changes in Context to Prevent Production Failures☆30Updated last year
- ☆10Updated 5 years ago
- Open science policies for SIGSOFT venues☆13Updated last year
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆11Updated 6 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆17Updated 2 years ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆31Updated 2 years ago
- Unit testing for SQL queries☆24Updated 8 months ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Fast relational access to openly-available publication data sets☆92Updated last month
- A higher order mutation testing tool☆58Updated 4 years ago
- RV-Monitor core system code☆16Updated 4 years ago