3 open source tools found
微软出品免费开源代码编辑器，全球最流行。
微软出品免费开源代码编辑器，支持智能补全、调试、Git和扩展，全球最受欢迎。
Mypy보다 15배 빠른 타입 검사기, Instagram에서 사용 중이며, 자동 완성 및 코드 탐색도 가능합니다.
초고속 Python 타입 체커 및 언어 서버, Meta의 2000만 줄 코드로 검증됨, 속도는 Mypy/Pyright의 15배, IDE 응답이 10밀리초 미만, 설치 즉시 사용 가능.
여러 AI 에이전트가 병렬로 작업하며, 자체 구독 포함, 작업 트리 격리, 데스크톱과 모바일 동기화.
Orca는 차세대 IDE로, 격리된 Git 작업 트리에서 여러 AI 코딩 에이전트(Claude Code, Codex 등)를 병렬로 실행할 수 있게 해줍니다. 자체 구독으로 사용 가능하며, 데스크톱과 모바일을 지원합니다.