많이 쓰이는 프로젝트
GitHub 스타 2천 이상 10만 미만 · 구간마다 스타 많은 순 · 집계 기준
★ 2천–5천 미만 · 전체 분야 817개
★ 옆 초록 숫자는 지난 확인보다 늘어난 스타 · 스타 많은 순
- 391위
TLC는 TLA+ 사양 검증 모델 체커이며, TLA+Toolbox는 TLA+용 IDE입니다
★ 3,164+5 - 392위
Kubernetes에서 Apache Spark 애플리케이션 수명주기 관리용 오퍼레이터
★ 3,156 - 393위
안드로이드용 다중 소스 기반 날씨 앱
★ 3,152 - 394위
Java 바이트코드 AOT 컴파일러
★ 3,142 - 395위
인간 같은 기억과 감정을 가진 AI 동반자가 데스크톱·휴대기기에서 함께합니다
★ 3,140+1 - 396위
Inspect는 대규모 언어 모델 평가를 위한 오픈소스 프레임워크입니다
★ 3,137+9 - 397위
Argent로 React Native와 Swift 앱을 더 빠르게 디버그하고 프로파일링합니다
★ 3,133+7 - 398위
인터뷰·회의용 AI가 실시간 코딩 지원·즉답·자동 메모를 제공하고, 통화 중에 보이지 않으며 완전 무료
★ 3,129+4 - 399위
Robusta는 수천 개의 알림을 소수의 실제 사고로 묶고 전체 컨텍스트로 조사해 결과를 모두 기억합니다
★ 3,125 - 400위★ 3,120+4
- 401위
다양한 플랫폼을 지원하는 게임 엔진
★ 3,118 - 402위
웹용 오픈소스 기록·재생 테스트 자동화 도구
★ 3,117 - 403위★ 3,115+3
- 404위
Envoy Gateway로 애플리케이션·API 트래픽을 관리하고, Envoy Proxy 도입·사용·관리를 쉽게 합니다
★ 3,114+2 - 405위
ChainList는 EVM 네트워크용 RPC 목록으로, 지갑과 Web3 미들웨어를 적절한 체인 ID와 네트워크 ID에 연결할 수 있게 해준다
★ 3,113
