EduLint is a Python linter aimed at helping novice programmers improve their coding style.
☆12Jan 24, 2026Updated 7 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:
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)☆29Jun 6, 2024Updated 2 years ago
- Research initiative to make TLS certificate validation usable.☆23May 10, 2024Updated 2 years ago
- Main technological server for hJOP.☆11Sep 10, 2026Updated last week
- This Arduino library sends feedback information from a decoder to the master station via the (Lenz) RS-bus.☆10Jul 29, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Intelligent web app for learning programming☆11Mar 29, 2021Updated 5 years ago
- Každý správný informatik má gitový repozitář s recepty.☆10Jul 6, 2025Updated last year
- Backend for KSI web written in Python.☆12May 9, 2026Updated 4 months ago
- Typesheds (a.k.a.: interface stubs, `pyi` files, and type hints) for MicroPython.☆19Sep 19, 2022Updated 4 years ago
- CircuitPython board identification and information☆16Nov 12, 2024Updated last year
- Webgpu experiments☆10Jul 3, 2022Updated 4 years ago
- VSCode config file for C development and debugging in WSL / Linux, created for PB161 (and PB071)☆11Sep 25, 2019Updated 6 years ago
- Program memory visualizer for GDB/LLDB (bachelor thesis)☆12Apr 7, 2026Updated 5 months ago
- Webstránka veřejných infografik o změně klimatu světa☆36Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A simple Twitter favorites archiver☆19Jun 15, 2017Updated 9 years ago
- Source Code and Figures for 'Blender Scripting with Python' by Isabel Lupiani☆19Mar 12, 2025Updated last year
- gitonic simplifies working with multiple git repositories☆32Dec 7, 2025Updated 9 months ago
- A Python library for communicating with Arduino microcontroller boards☆36May 8, 2019Updated 7 years ago
- A refactor of the original library to be much more object oriented, with derived classes for each different hardware interface☆21Jul 27, 2026Updated last month
- TreeInstruct is a novel method that uses state space estimation and dynamic tree-based questioning for multi-turn Socratic instruction, a…☆18Aug 1, 2025Updated last year
- A Python IDE for Education☆22May 19, 2023Updated 3 years ago
- ☆16Jun 17, 2022Updated 4 years ago
- A terminal emulator widget written in Python using tkinter☆18Aug 31, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- wiThrottle-compatible hardware controller☆27Aug 30, 2026Updated 3 weeks 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 9 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 4 years ago
- Tool for installing distribution packages for MicroPython and CircuitPython☆21Mar 27, 2026Updated 5 months 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 2 years ago
- Typing for EV3 Python programming (using the LEGO® pybricks)☆23Jun 11, 2020Updated 6 years ago
- HTML5 Boilerplate + HTMX implemented with Maud in Actix.☆10Oct 16, 2022Updated 3 years ago
- uPIDE is a simple IDE for Micropython☆30Oct 26, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Sparse Matrix-Vector Multiplication implementations in C☆22Dec 7, 2022Updated 3 years ago
- Python Library for interfacing with Microsoft Translate API☆24Jun 16, 2011Updated 15 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
- Fork for adding WebREPL shell to "WebREPL client and related tools for MicroPython"☆27Oct 15, 2018Updated 7 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 2 years ago
- Package index for Arduino MicroPython Package Installer☆31Aug 12, 2026Updated last month
- A micropython library for LEGO SPIKE☆22Feb 18, 2022Updated 4 years ago