본문으로 건너뛰기
buildradar
Sign in
소유자 · starkware-libs

starkware-libs

starkware-libs의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.

리포지토리 4개
  • cairo@starkware-libs

    Cairo는 일반 연산을 위한 증명 가능한 프로그램을 작성하기 위한 최초의 튜링 완전 언어입니다.

    1,904+2최근 7일 스타 변화
  • cairo-lang@starkware-libs
    1,369+0최근 7일 스타 변화
  • cairo-vm@starkware-libs

    cairo-vm은 Cairo VM의 Rust 구현체입니다. Cairo는 증명 가능한 프로그램을 작성하기 위한 프로그래밍 언어로, 한쪽이 다른 쪽에 특정 연산이 올바르게 실행되었음을 재실행 없이 증명할 수 있게 합니다.

    586+1최근 7일 스타 변화
  • stwo@starkware-libs

    StarkWare's next gen prover

    502+1최근 7일 스타 변화
← 소유자 랭킹으로