Coding-Tutor

Exploration du potentiel des grands modèles de langage comme outils d'aide à la programmation, et proposition d'un workflow Trace-and-Verify.

Produit OrdinaireÉducationEnseignement de la programmationGrands modèles de langage

Ouvrir le site Web

Coding-Tutor est un outil d'aide à la programmation basé sur les grands modèles de langage (LLM), conçu pour aider les apprenants à améliorer leurs compétences en programmation grâce à une interaction conversationnelle. Il utilise un workflow Trace-and-Verify (Traver), combinant le suivi des connaissances et la vérification itérative, pour résoudre les défis clés de l'aide à la programmation. Cet outil convient non seulement à l'enseignement de la programmation, mais peut également être étendu à d'autres scénarios d'aide aux tâches, permettant d'adapter le contenu pédagogique au niveau de connaissance de l'apprenant. Le projet est open source et encourage les contributions de la communauté.

Best AI Websites & Tools

Coding-Tutor

Coding-Tutor Dernière situation du trafic

Coding-Tutor Tendance des visites

Coding-Tutor Distribution géographique des visites

Coding-Tutor Sources de trafic

Coding-Tutor Alternatives

Coding-Tutor — Exploration du potentiel des grands modèles de langage comme outils d'aide à la programmation, et proposition d'un workflow Trace-and-Verify.

AoT — Atom of Thoughts (AoT) est un framework permettant d'améliorer les performances d'inférence des grands modèles de langage.

SWE-RL — Amélioration des capacités de raisonnement des grands modèles de langage dans l'évolution des logiciels open source grâce à l'apprentissage par renforcement

MarkLLM — Boîte à outils open source pour la recherche et l'application de techniques de filigrane pour les grands modèles de langage.

CuMo — Une architecture avancée pour étendre les grands modèles de langage multimodaux (LLM).

ChainForge — Environnement de programmation visuelle open source pour l'ingénierie des invites

l1m — Une API proxy utilisée pour extraire des données structurées à partir de texte et d'images, implémentée à l'aide de LLM.

NotaGen — NotaGen est un modèle de génération de musique symbolique, entraîné selon le paradigme des grands modèles de langage, axé sur la génération de partitions classiques de haute qualité.

Proxy Lite — Proxy Lite est un modèle de langage visuel (VLM) open source de 3 milliards de paramètres, axé sur les tâches d'automatisation Web.

OpenManus — OpenManus est un projet d'agent intelligent open source utilisable sans code d'invitation.

CocoIndex — CocoIndex est un moteur d'indexation de données open source, prenant en charge la logique de conversion personnalisée et les mises à jour incrémentielles.

NeoBase — NeoBase est un assistant de base de données IA open source qui vous permet d'interagir avec votre base de données en langage naturel.

Instella — Instella est un modèle linguistique open source haute performance développé par AMD, conçu pour accélérer le développement des modèles linguistiques open source.

Aya Vision 32B — Aya Vision 32B est un modèle de langage visuel multilingue adapté à de multiples usages, tels que l'OCR, la description d'images et le raisonnement visuel.

Aya Vision 8B — Modèle de langage visuel multilingue à 800 millions de paramètres, prenant en charge l'OCR, la description d'images et le raisonnement visuel.

Scira — Scira est un moteur de recherche minimaliste basé sur l'IA, qui aide les utilisateurs à trouver des informations sur Internet.

MindMapper — Une application web qui génère des cartes mentales interactives à partir d'une URL, d'une vidéo YouTube ou d'une invite textuelle.

Modèles de traduction Firefox — Modèle de traduction automatique neuronale accéléré par CPU, optimisé pour la fonction de traduction du navigateur Firefox.

ExplainGitHub — Un outil de navigation de référentiels GitHub moderne, offrant une navigation de code intelligente et des performances optimisées.

Vibe Coder — Vibe Coder est une extension VS Code open source permettant d'explorer l'expérience de programmation IA basée sur la voix.

GibberLink — Deux agents IA conversationnels, après s'être mutuellement identifiés comme IA, basculent vers un protocole de communication de niveau sonore.

Migician — Migician est un grand modèle linguistique multimodale axé sur la localisation multi-images, capable de réaliser une localisation précise multi-images de forme libre.

smallpond — Un framework de traitement de données léger basé sur DuckDB et 3FS

PhotoDoodle — PhotoDoodle est une implémentation de code d'édition d'images artistiques basée sur l'apprentissage à partir de quelques exemples de paires de données.

Level-Navi Agent-Recherche — Level-Navi Agent est un framework prêt à l'emploi, sans nécessiter d'entraînement, qui utilise les grands modèles de langage pour une compréhension approfondie des requêtes et une recherche précise.

llm-commit — Un plugin pour générer des messages de commit Git avec un LLM

Ant Design X Vue — Ant Design X Vue est une solution d'interface utilisateur pour l'IA basée sur Vue, visant à créer une expérience utilisateur exceptionnelle pour les produits d'IA.

IndexTTS — Système texte-parole zéro-shot industriel, contrôlable et efficace

DeepGEMM — DeepGEMM est une bibliothèque CUDA pour une multiplication matricielle FP8 efficace, prenant en charge le scaling granulaire fin et plusieurs techniques d'optimisation.

Phi-4-mini-instruct — Phi-4-mini-instruct est un modèle linguistique léger et open source, axé sur les données intensives en inférence de haute qualité.