TLC의 무료 오픈소스 대안이 있나요?

네. Repolode에서 가장 인기 있는 TLC 오픈소스 대안은 tla-ts입니다.

TLC 대안 중 무엇을 골라야 하나요?

GitHub 스타가 가장 많은 것은 tla-ts(MIT 라이선스)입니다. 선택하기 전에 위 표에서 각 후보의 라이선스와 마지막 커밋을 비교해 보세요.

대안 1개

TLC의 무료 오픈소스 대안을 찾고 있나요? 아래 1개 프로젝트가 대신할 수 있습니다. 모두 품질 검사를 통과했고 쉬운 말로 설명되어 있어 스타, 라이선스, 유지보수 상태를 한눈에 비교할 수 있습니다.

프로젝트	스타	라이선스	마지막 커밋
aidenybai/tla-ts	★ 232	MIT	그저께

브라우저, Node, Bun에서 실행되는 TLA+ 인터프리터 및 모델 체커의 TypeScript 구현으로, Java 기반 TLC를 바로 대체할 수 있습니다.

232+41 이번 주9TypeScriptMIT활발히 관리됨업데이트 그저께

TLC의 무료 오픈소스 대안이 있나요?: 네. Repolode에서 가장 인기 있는 TLC 오픈소스 대안은 tla-ts입니다.
TLC 대안 중 무엇을 골라야 하나요?: GitHub 스타가 가장 많은 것은 tla-ts(MIT 라이선스)입니다. 선택하기 전에 위 표에서 각 후보의 라이선스와 마지막 커밋을 비교해 보세요.

목록 작성 방법: AI가 각 프로젝트의 문서를 읽어 대체할 수 있는 제품을 판단하고, 품질 심사를 통과한 프로젝트를 GitHub 스타 순으로 정렬합니다. 스타 수 업데이트: 2026년 11월 6일 Repolode 작동 방식