programming AI Tools

AI pair programming in your terminal, supporting multiple LLM providers.

AutoGen is an open-source programming framework for building AI agents and facilitating cooperation among multiple agents to solve tasks.

An interactive theorem prover and functional programming language, serving as the core infrastructure for formal AI research and automated theorem proving (e.g., AlphaProof, DeepSeek-Prover).

Open source, terminal-based AI programming engine for complex tasks.

Notes, programming assignments and quizzes from all courses within the Coursera Deep Learning specialization offered by deeplearning.ai

GPU programming platform for learning, practicing, and competing on GPU programming challenges. Similar to LeetCode but for GPU programming, helping developers master GPU acceleration skills essential for AI model training and inference.

AI-powered free website to get any programming question answered or code generated.

Cursor is the IDE of the future, built for pair-programming with Powerful AI.

Agent-Oriented Programming for Building LLM Applications, Open-sourced by Alibaba

DSPy: The framework for programming — not prompting — foundation models

An open-source visual programming environment for battle-testing prompts to LLMs.