토픽 · refinement-types
refinement-types
refinement-types 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
리포지토리
6
총 스타
7,767
평균 스타
1,295
비중
0.00%
관련 토픽
같은 리포지토리에 refinement-types 태그와 자주 함께 쓰이는 토픽이에요.
최근 라이징
최근 90일 안에 만들어지고 refinement-types 태그가 달린 리포지토리예요.
최근 90일 안에 이 토픽 태그가 달린 새 리포지토리가 없어요.
- #1★ 2,337+1최근 7일 스타 변화
- #2★ 1,733+2최근 7일 스타 변화
- #3
Haskell을 위한 Liquid Types
★ 1,334+2최근 7일 스타 변화 - #4★ 909+2최근 7일 스타 변화
- #5
🤝 Python을 위한 계약에 의한 설계(Design by contract). 버그 없는 코드를 작성하세요. 몇 개의 데코레이터를 추가하는 것만으로 정적 분석과 테스트를 무료로 이용할 수 있습니다.
★ 907+1최근 7일 스타 변화 - #6★ 554+0최근 7일 스타 변화
