AI ప్రోగ్రామింగ్

코드플래시 AIStartMap

엔지니어링 팀을 위한 AI 코드 성능 최적화 엔진으로 자동화된 에이전트를 통해 지속적인 성능 엔지니어링 및 인프라 비용 절감이 가능합니다.

에프* F*

증명 지향 프로그래밍 언어, 종속성 유형 + SMT 자동 검증, OCaml/C/Rust로 코드 추출, 2026년 AI 증명 도우미 도입

코드GPT CodeGPT

VS Code 확장 및 독립 데스크톱 클라이언트를 지원하는 다중 모델 통합 AI 코드 도우미

제미니 코드 지원 Gemini Code Assist

개인 개발자 및 기업 엔지니어링 팀을 위한 Google Gemini 시리즈의 AI 프로그래밍 도우미입니다.

AskCodi AskCodi

로컬에서 실행되는 AI 엔지니어링 팀 - CTO 에이전트는 격리된 Git 작업 트리에서 병렬로 개발될 다중 전문 에이전트를 조정합니다.

아마존 Q 개발자 AWS

AWS가 출시한 AI 프로그래밍 도우미는 AWS 생태계의 코드 생성 및 디버깅 도구를 심층적으로 통합합니다.

코드큐웬 Qwen Team

Alibaba Tongyi Qianwen 팀이 출시한 대규모 코드별 모델은 92개 프로그래밍 언어와 64K 컨텍스트를 지원합니다.

GitHub 코파일럿 Copilot

GitHub Copilot은 코드 완성 채팅, 코딩 에이전트 및 다중 모델 협업을 다루는 세계에서 보급률이 가장 높은 AI 프로그래밍 도우미입니다.

고코데오 GoCodeo

AI 프로그래밍 플랫폼은 개발자에게 코드 생성, 디버깅 및 프로젝트 구현 지원을 제공합니다.

빅코드 BigCode

허깅페이스(Hugging Face)와 서비스나우(ServiceNow)가 공동 런칭한 오픈 사이언스 코드 빅모델 협업 프로젝트

코덱스 CLI Codex CLI

터미널에서 실행되는 OpenAI 코딩 에이전트는 코드 수정, 테스트 및 검토를 로컬 워크플로에 적용하는 데 적합합니다.

블루프 Bloop

자연어를 사용하여 코드 베이스를 탐색하고 이해하는 개발자를 위한 AI 의미론적 코드 검색 엔진