EduLint is a Python linter aimed at helping novice programmers improve their coding style.
☆12Jan 24, 2026Updated 2 months ago
Alternatives and similar repositories for edulint
Users that are interested in edulint are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
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 26, 2026Updated 2 weeks ago
- 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 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Backend for KSI web written in Python.☆12Mar 26, 2026Updated 2 weeks ago
- 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 9 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 4 months ago
- Program memory visualizer for GDB/LLDB (bachelor thesis)☆12Updated this week
- Webstránka veřejných infografik o změně klimatu světa☆36Mar 18, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A Python library for communicating with Arduino microcontroller boards☆37May 8, 2019Updated 6 years ago
- ☆16Jun 17, 2022Updated 3 years ago
- A Python IDE for Education☆22May 19, 2023Updated 2 years ago
- A refactor of the original library to be much more object oriented, with derived classes for each different hardware interface☆18Nov 11, 2025Updated 5 months ago
- A terminal emulator widget written in Python using tkinter☆18Aug 31, 2024Updated last year
- TreeInstruct is a novel method that uses state space estimation and dynamic tree-based questioning for multi-turn Socratic instruction, a…☆18Aug 1, 2025Updated 8 months ago
- A simple Twitter favorites archiver☆19Jun 15, 2017Updated 8 years ago
- Learned Metric Index (LMI) is a machine learning based data structure for fast look-up of approximate nearest neighbors in complex data.☆11Dec 14, 2025Updated 3 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Tool for installing distribution packages for MicroPython and CircuitPython☆20Mar 27, 2026Updated 2 weeks ago
- Console based minesweeper clone. Creates NxN grid game board and with m Mines.☆10Mar 17, 2021Updated 5 years 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☆39Feb 24, 2026Updated last month
- 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- wiThrottle-compatible hardware controller☆25Jan 12, 2026Updated 2 months ago
- List of useful MicroPython packages☆30Mar 27, 2026Updated 2 weeks 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☆12Dec 29, 2021Updated 4 years ago
- Real-time SLAM System at Home.☆21Aug 24, 2022Updated 3 years ago