EduLint is a Python linter aimed at helping novice programmers improve their coding style.
☆12Jan 24, 2026Updated last month
Alternatives and similar repositories for edulint
Users that are interested in edulint are comparing it to the libraries listed below
Sorting:
- Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)☆29Jun 6, 2024Updated last year
- Research initiative to make TLS certificate validation usable.☆22May 10, 2024Updated last year
- Main technological server for hJOP.☆11Mar 12, 2026Updated last week
- This Arduino library sends feedback information from a decoder to the master station via the (Lenz) RS-bus.☆10Jun 14, 2025Updated 9 months ago
- Intelligent web app for learning programming☆11Mar 29, 2021Updated 4 years ago
- Backend for KSI web written in Python.☆12Mar 14, 2026Updated last week
- Typesheds (a.k.a.: interface stubs, `pyi` files, and type hints) for MicroPython.☆19Sep 19, 2022Updated 3 years ago
- CircuitPython board identification and information☆15Nov 12, 2024Updated last year
- Webgpu experiments☆10Jul 3, 2022Updated 3 years ago
- Každý správný informatik má gitový repozitář s recepty.☆10Jul 6, 2025Updated 8 months ago
- VSCode config file for C development and debugging in WSL / Linux, created for PB161 (and PB071)☆11Sep 25, 2019Updated 6 years ago
- gitonic simplifies working with multiple git repositories☆30Dec 7, 2025Updated 3 months ago
- Program memory visualizer for GDB/LLDB (bachelor thesis)☆12Apr 17, 2016Updated 9 years ago
- Webstránka veřejných infografik o změně klimatu světa☆36Updated this week
- A Python library for communicating with Arduino microcontroller boards☆37May 8, 2019Updated 6 years ago
- A Python IDE for Education☆22May 19, 2023Updated 2 years ago
- ☆16Jun 17, 2022Updated 3 years ago
- A refactor of the original library to be much more object oriented, with derived classes for each different hardware interface☆17Nov 11, 2025Updated 4 months ago
- A terminal emulator widget written in Python using tkinter☆18Aug 31, 2024Updated last year
- A simple Twitter favorites archiver☆19Jun 15, 2017Updated 8 years ago
- TreeInstruct is a novel method that uses state space estimation and dynamic tree-based questioning for multi-turn Socratic instruction, a…☆18Aug 1, 2025Updated 7 months ago
- A former repository of the LaTeX document class for the typesetting of theses at the Masaryk University in Brno. Now migrated to the URL …☆45May 12, 2022Updated 3 years ago
- Tool for installing distribution packages for MicroPython and CircuitPython☆22Dec 17, 2025Updated 3 months ago
- Reusable post-processing effects for wgpu☆13Sep 13, 2024Updated last year
- Typing for EV3 Python programming (using the LEGO® pybricks)☆22Jun 11, 2020Updated 5 years ago
- HTML5 Boilerplate + HTMX implemented with Maud in Actix.☆10Oct 16, 2022Updated 3 years ago
- VSCode extension providing a TikZiT-like GUI for TikZ editing☆37Feb 24, 2026Updated 3 weeks ago
- Sparse Matrix-Vector Multiplication implementations in C☆22Dec 7, 2022Updated 3 years ago
- Fork for adding WebREPL shell to "WebREPL client and related tools for MicroPython"☆27Oct 15, 2018Updated 7 years ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 3 years ago
- wiThrottle-compatible hardware controller☆25Jan 12, 2026Updated 2 months ago
- List of useful MicroPython packages☆30Nov 26, 2025Updated 3 months ago
- uPIDE is a simple IDE for Micropython☆31Oct 26, 2023Updated 2 years ago
- A micropython library for LEGO SPIKE☆22Feb 18, 2022Updated 4 years ago
- A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …☆26Jun 6, 2024Updated last year
- Interactsh deployment to AWS EC2 Instance with Terraform☆11Dec 29, 2021Updated 4 years ago
- Real-time SLAM System at Home.☆21Aug 24, 2022Updated 3 years ago
- Interactive volume renderer with Rust and Wgpu☆18Jan 20, 2023Updated 3 years ago
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago