본문으로 건너뛰기
buildradar
Sign in
토픽 · type-theory

type-theory

type-theory 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.

리포지토리
5
총 스타
13,970
평균 스타
2,794
비중
0.00%

같은 리포지토리에 type-theory 태그와 자주 함께 쓰이는 토픽이에요.

최근 라이징

최근 90일 안에 만들어지고 type-theory 태그가 달린 리포지토리예요.

최근 90일 안에 이 토픽 태그가 달린 새 리포지토리가 없어요.

  • plt@steshaw

    프로그래밍 언어 이론 λΠ

    5,362+1최근 7일 스타 변화
  • Kind@HigherOrderCO

    모던 증명 언어

    3,763-1최근 7일 스타 변화
  • agda@agda

    Agda는 의존 타입 프로그래밍 언어이자 대화형 정리 증명기입니다.

    2,922+3최근 7일 스타 변화
  • Coq-HoTT@HoTT

    호모토피 유형 이론을 위한 Coq 라이브러리

    1,405+1최근 7일 스타 변화
  • typescript-sudoku@gruhn

    TypeScript 타입 체커가 오류를 강조 표시하는 동안 스도쿠 게임을 즐길 수 있습니다.

    517-1최근 7일 스타 변화
← 토픽 목록으로