BazelCon 2022는 11월 16~17일에 뉴욕과 온라인에서 개최됩니다.
지금 등록하기

Bazel을 사용하는 사용자

컬렉션을 사용해 정리하기 내 환경설정을 기준으로 콘텐츠를 저장하고 분류하세요.

이 페이지에는 Bazel을 사용하는 것으로 알려진 회사와 OSS 프로젝트가 나와 있습니다. 이는 보증으로 간주되지 않습니다.

Bazel을 사용하는 회사

Acqio

Acqio는 중소 판매자를 위한 결제 제품과 서비스를 제공하는 핀테크입니다. Acqio는 모노저장소를 보유하고 있으며, Bazel을 Kubernetes와 함께 사용하여 빠르고 안정적인 마이크로서비스를 제공합니다.

Adobe

Adobe는 지속적인 GitOps 기반 Kubernetes 배포를 위한 Bazel 규칙을 출시했습니다.

아사나

Asana는 팀의 업무를 추적하는 데 도움이 되도록 설계된 웹 및 모바일 애플리케이션입니다. 그들이 말하는 내용:

Bazel은 Asana에서 모든 빌드/테스트의 안정성, 안정성, 속도를 향상했습니다. 캐시가 잘못되어 더 이상 정리할 필요가 없습니다.

아센드.io

Ascend는 대규모 데이터 세트 분석 솔루션을 제공하는 Palo Alto 스타트업입니다. 빅데이터는 어려움입니다. 간단하게 만들기

밀랍

Beeswax는 뉴욕에 본사를 둔 스타트업으로서 서비스로서의 실시간 입찰을 제공합니다. Bazel은 Jenkins 기반 지속적 통합 및 배포 프레임워크를 지원합니다. Beeswax는 엄청나게 빠르고, 정확하며, 여러 언어 및 플랫폼에서 잘 지원되기 때문에 Bazel을 좋아합니다.

브레인 트리

PayPal 자회사인 Braintree는 웹사이트 및 애플리케이션을 위한 결제 솔루션을 개발합니다. 또한 내부 빌드의 일부에 Bazel을 사용하고 폴 총수익은 Bazel로의 전환에 관한 간단한 논문도 게시했습니다.

칸바

Canva는 Bazel을 활용하여 자바, Typescript, Scala, Python 등을 포함하는 대규모 다국어 코드베이스를 관리합니다. Bazel로 마이그레이션한 결과, 평균 CI 빌드 시간이 평균 5~6배 감소하는 등 개발자 및 컴퓨팅 인프라 효율성이 크게 증가했으며 이 회사는 현재 속도, 재현성, 표준화된 소프트웨어 빌드의 토대가 되고 있습니다.

CarGurus

CarGurus는 가장 신뢰할 수 있고 투명한 자동차 마켓플레이스를 구축하고자 하는 사명을 품고 있으며 Bazel을 사용하여 다국어 모노저장소를 빌드합니다.

나침반

Compass는 기술 중심의 부동산 플랫폼입니다. 부동산, 기술, 비즈니스 전문가로 구성된 엘리트 팀의 도움을 받아 주택 구직자를 위해 가장 믿을 수 있고 최상의 소스를 제공합니다.

Databricks

Databricks는 Apache SparkTM를 기반으로 클라우드 기반 통합 작업공간을 제공합니다.

Databricks 코드베이스는 대부분의 서비스를 지원하는 Scala 코드, 프런트엔드 UI용 자바스크립트, 스크립팅을 위한 Python, 인프라 구성을 위한 Jsonnet 등 다양한 기능과 함께 백만 라인의 Scala가 포함되어 있지만 내부에서 코드를 사용하는 것은 빠르고 간단합니다. (Databricks에서 Bazel을 사용한 빠른 Scala 빌드)

Dataform

Dataform은 데이터팀에 대해 확장 가능한 분석을 제공합니다. 이 API는 단일 모노저장소에 몇 개의 NPM 패키지와 문서 사이트를 유지관리하며 모두 Bazel을 사용하여 이 작업을 수행합니다.

Bazel로 마이그레이션한 후 다음을 비롯한 여러 이점이 보고되었습니다.

  • 더 빠른 CI: 원격 빌드 캐싱을 사용 설정하여 전체 저장소의 평균 빌드 시간을 30분에서 5분으로 단축했습니다.
  • 로컬 개발 개선사항: 실행하는 것을 잊어버리는 임의의 bash 스크립트가 더 이상 없으며, 증분 빌드가 분에서 초로 단축되었습니다.
  • 개발자 설정 시간: 신입 엔지니어가 3개의 종속 항목(bazel, docker, JVM)으로 모든 코드를 빌드할 수 있습니다. 우리 팀에서 마지막으로 작업한 엔지니어는 새로운 빈 노트북에 30분 만에 모든 코드를 빌드했습니다.

딥 실버 FISHLABS

딥 실버 FISHLABS는 고급 3D 게임 개발사입니다. C++/Python/Go/C와 함께 Bazel을 내부 빌드 도구의 기반으로, 특히 모든 3D 애셋을 베이킹하고 배포하는 데 사용합니다.

보관용 계정

Dropbox에서 Bazel은 분산형 빌드 및 테스트 환경의 핵심 구성요소입니다. Bazel을 사용하여 Typescript/Python/Go/C/Rust를 신뢰할 수 있는 프로덕션 출시 버전으로 결합합니다.

엔젤 및 폴커스

엔젤(Venlkers AG)은 독일 민간 사업체로, 프랜차이즈 사무실을 통해 일련의 부동산 업종과 관련된 서비스를 제공합니다.

Google의 내부 프로젝트 중 하나에서 컴파일 시간이 11분에서 약 1분으로 단축되었습니다. 이는 획기적인 성과이며 현재 더 많은 프로젝트에 Bazel을 제공하기 위해 노력하고 있습니다. (Google Cloud Build 및 Bazel 실험하기)

Etsy

Etsy는 수공예품이나 빈티지 상품, 용품, 독특한 공장 제조 상품에 중점을 둔 전자상거래 웹사이트입니다.

Bazel을 사용하여 자바 기반 검색 플랫폼을 빌드하고 테스트합니다. Bazel은 베어메탈 서버 및 반복 가능한 Docker 이미지용 패키지를 모두 생성합니다.

에버츠.io

EVertex

Angular 및 Bazel 워크플로(소스)를 사용하여 웹사이트를 완전히 빌드하고 배포합니다.

발견

FINDMINE은 소매업을 위한 자동화 기술로, 머신러닝을 사용하여 현재 선별되고 지루한 제품 큐레이션 프로세스를 확장합니다. Bazel을 사용하여 전체 Python 패키지 빌드, 테스트, 배포 프로세스를 자동화합니다.

Flexport

Flexport는 기술을 지원하는 글로벌 화물 포레스트로, 누구나 더 쉽게 글로벌 거래를 할 수 있도록 지원하는 것이 목표입니다. Flexport에서는 Bazel을 사용하여 자바/자바스크립트 서비스 및 클라이언트 라이브러리를 빌드/테스트하고, protobuf 정의에서 자바 및 Ruby 코드를 생성합니다. Bazel을 사용하여 개별 JUnit 5 테스트를 실행하는 방법을 알아보세요.

Google

Bazel은 Google의 니즈에 맞게 확장하고 재현성 및 플랫폼/언어 지원에 대한 요구사항을 충족할 수 있도록 설계되었습니다. Google의 모든 소프트웨어는 Bazel을 사용하여 빌드됩니다. Google에서는 매일 수백만 개의 빌드에 Bazel 및 자체 규칙을 사용합니다.

GRAKN.AI

GRAKN AI 로고

Grakn은 지능형 시스템에 대한 기술 자료의 기반이 되는 데이터베이스 기술입니다. 지능형 시스템을 사용하면 복잡한 데이터 세트를 논리적으로 추론할 수 있는 단일 지식 기관으로 해석할 수 있습니다. Bazel을 사용하면 @graknlabs팀이 여러 언어의 여러 저장소를 관리하고 여러 플랫폼에 원활하게 배포하는 고도로 조정된 CI와 배포 파이프라인을 빌드할 수 있습니다.

Huawei

Huawei Technologies는 약 30개의 프로젝트에서 Bazel을 사용하고 있으며, 이들 프로젝트는 자바/Scala/Go 프로젝트이지만 원래 Go 프로젝트를 제외한 나머지는 Maven에서 빌드했습니다. Google에서는 Maven 빌드 프로젝트를 Bazel 빌드 프로젝트로 변환하는 간단한 도구를 작성합니다. 앞으로 점점 더 많은 프로젝트에서 Bazel을 사용할 예정입니다.

IMC 거래

IMC는 암스테르담에서 본사를 두고 있는 글로벌 독점 무역 회사이자 시장 제조업체입니다. Bazel을 사용하여 자바/C++/Python/SystemVerilog 프로젝트를 지속적으로 빌드하고 테스트합니다.

Improbable.io

Improbable.io는 분산 운영체제인 SpatialOS를 개발합니다. 이 운영체제는 수백만 개의 복잡한 항목이 집약하는 대규모 시뮬레이션을 만들 수 있습니다.

Interaxon

InteraXon은 뇌파를 디지털 신호로 변환하기 위한 하드웨어 및 소프트웨어 플랫폼을 개발하는 사고 관리 컴퓨팅 회사입니다.

목성

Jupiter는 매주 식료품과 가정용품을 배달하는 회사입니다.

백엔드 코드에 Bazel을 사용하여 특히 원격 캐싱을 사용하여 proto와 Kotlin을 JVM 바이너리로 컴파일합니다. (출처)

방금

노르웨이에 본사를 둔 기업 금융 기술 기업으로, 전 세계 기업 재무자가 위험 및 유동성을 관리하는 방식을 혁신하기 위한 소프트웨어 솔루션을 만들고 있습니다. 전체 애플리케이션 스택은 Bazel로 빌드됩니다.

키티 호크 코퍼

Kitty Hawk Corporation은 전기 항공기를 생산하는 미국 항공기 제조업체입니다. Bazel과 Scala 규칙이 있는 Bazel을 사용합니다.

Line은 일본에서 가장 인기 있는 메시징 애플리케이션인 인스턴트 커뮤니케이션용 앱을 제공합니다. 코드베이스에서 약 60% 의 Swift, 40% C/C++/Objective-C/Objective-C++로 구성된 Bazel을 사용합니다(출처).

Bazel로 전환한 후 빌드 시간이 크게 개선되었습니다. 이렇게 하면 QA 기간 동안 처리 시간이 크게 개선되었습니다. 테스터에게 새 빌드를 배포하더라도 더 이상 빌드 및 테스트를 기다리는 시간이 아닙니다. (Bazel을 사용하여 iOS에서 LINE 빌드 성능 개선)

링고챔프

LingoChamp는 영어 학습자에게 전문 솔루션을 제공합니다. Go, 자바, Python 프로젝트에는 Bazel을 사용합니다.

LinkedIn

Microsoft의 자회사인 LinkedIn은 세계 최대의 소셜 소셜 네트워크입니다. LinkedIn에서는 Bazel을 사용하여 iOS 앱을 빌드합니다.

Lyft

Lyft는 iOS 앱에 Bazel을 사용합니다(출처).

마카니

Google 자회사인 Makani는 에너지 연을 개발하고 Bazel을 사용하여 삽입된 C++ 소프트웨어를 비롯한 소프트웨어를 빌드합니다.

모임

Meetup은 오프라인 그룹 회의를 지원하는 온라인 소셜 네트워킹 포털입니다. Meet 엔지니어링팀은 rules_scala에서 참여하며 rules_avrorules_OpenID의 유지관리자입니다.

Nvidia

Nvidia에서는 bazel's의 python(짧은 출시 버전)을 해결할 수 있도록 Python용 dazel(docker bazel)을 사용하고 있습니다. 그 외 모든 것은 일반 바젤로 실행됩니다(대부분 Go/Scala/C++/Cuda)(출처)

펠로톤 기술

Peloton Technology는 트럭 사고와 연료 사용을 처리하는 자동 차량 기술 회사입니다. Bazel을 사용하여 자동차 안전 시스템에 안정적인 빌드를 지원합니다.

Pinterest

Pinterest는 전 세계의 아이디어 카탈로그로, Bazel을 사용하여 다양한 백엔드 서비스 (자바/C++) 및 iOS 애플리케이션 (Objective-C/C++)을 빌드합니다.

Bazel이 성능 면에서 엄청난 발전을 이루기 위한 기반을 구축하고, 빌드 환경의 가변성을 제거하며, 점진적으로 채택하는 것이 Google의 목표에 가장 적합한 것을 확인했습니다. 따라서 이제 Bazel을 사용하여 모든 iOS 버전을 제공합니다. Pinterest에서 빠르고 안정적인 iOS 빌드 개발

PubRef

PubRef는 새로운 과학 게시 플랫폼입니다. 이러한 규칙은 rules_closure와 함께 Bazel을 사용하여 기본 백엔드를 빌드하고, rules_go, rules_node, rules_kotlin을 사용하여 다양한 백엔드 서비스를 빌드합니다. rules_protobuf는 백엔드 서비스 간의 gRPC 기반 통신을 지원하는 데 사용됩니다. PubRef.org는 콜로라도주 볼더에 본사를 두고 있습니다.

레드핀

Redfin은 풀 서비스 지역 에이전트와 함께하는 차세대 부동산 중개업체입니다. Bazel을 사용하여 웹사이트와 다양한 백엔드 서비스를 빌드하고 배포합니다.

변환이 주로 뒤처져서 많이 개선되었습니다. CI 빌드가 더 빨라졌습니다(방식 더 빨라짐). 이전에는 40~90분이 걸렸지만 개발 시간은 평균 5~6분입니다. 안정성도 훨씬 높습니다. 정량화하기는 어렵지만 설명할 수 없는 빌드 실패가 문제 해결이 가능한 실제 문제로 간주된다는 사실에 부응하여 빌드 안정성은 점점 늘어나는 선순환으로 이어지고 있습니다. (Maven에서 Bazel로 전환하여 빌드 속도 10배 향상)

의식

Ritual은 고객이 원하는 음식과 음료를 대기 없이 맛볼 수 있는 간단한 시간 절약 도구를 제공하기 위해 고객과 음식점을 연결하는 모바일 픽업 앱입니다. Ritual은 백엔드 서비스에 Bazel을 사용합니다.

맞추기

Snapchat 메시지 앱 개발사인 Snap은 2020년에 Buck에서 Bazel로 마이그레이션되었습니다 (출처). 이 프로세스의 자세한 내용은 엔지니어링 블로그를 참고하세요.

스트라이프

Stripe는 모바일 결제 솔루션을 제공합니다. Bazel Scala 규칙의 기본 유지관리자입니다.

잉크

Tink는 유럽 핀테크로, 유럽 전역의 은행과 연결하는 최선의 방법을 만듭니다.

Bazel을 사용하여 다국어 모노저장소의 백엔드 서비스를 구축하고 있습니다. Tink의 엔지니어들이 bazel build //stockholm/... 모임 그룹을 구성하고 있습니다.

토코페디아

Tokopedia는 9, 000만 명 이상의 월간 활성 사용자와 플랫폼에서 700만 명 이상의 판매자를 보유하고 있는 전자상거래를 전문으로 하는 인도네시아 기술 회사입니다.

Tokopedia의 iOS 빌드 시간 1,000% 향상 방법이라는 기사를 통해 Bazel의 빌드 속도가 어떻게 빨라졌는지 설명했습니다. Bazel을 사용하여 빌드 시간이 55분에서 10분으로 단축되었고 원격 캐싱을 통해 5분으로 단축되었습니다.

트위터

Twitter는 기본 빌드 도구인 Pants에서 Bazel로 마이그레이션하기로 결정했습니다.

두 개의 시그마

투 시그마는 전 세계 데이터의 가치를 찾는 데 주력하는 뉴욕에 본사를 둔 기술 회사입니다.

우버

Uber는 승차 업체입니다. 활성 개발자가 900명인 Uber의 Go 모노 저장소는 Bazel을 사용하는 가장 큰 Go 저장소 중 하나일 수 있습니다. 자세한 내용은 Bazel을 사용하여 Uber의 Go Monorepo 빌드 도움말을 참조하세요.

Uber Advanced Technologies Group

Uber Advanced Technologies Group은 트럭/화물 및 자율 주행 차량 공유 등 Uber의 자율 차량 운행에 중점을 두고 있습니다. 이 조직에서는 Bazel을 기본 빌드 시스템으로 사용합니다.

Vistar 미디어

Vistar Media는 브랜드가 실제 환경에서 소비자의 행동을 기반으로 소비자에게 도달할 수 있도록 하는 광고 플랫폼입니다. 엔지니어링팀은 주로 필라델피아에 거주하며 Bazel을 사용하여 빌드, 배포, 테스트 속도 향상, 다양한 기술을 사용하여 작성된 저장소를 통합합니다.

VMware

VMware는 Bazel을 사용하여 고객을 위한 혁신적인 제품을 개발하는 동시에 확정적이며 안정적인 빌드를 생성합니다.

Wix

Wix는 클라우드 기반 웹 개발 플랫폼입니다. 백엔드에서 자바 및 Scala 코드를 사용합니다. Cloud Build로 원격 실행을 사용합니다.

bazel 원격 실행으로 실행되는 경우 bazel의 뛰어난 빌드/테스트 병렬 처리 기능을 활용하여 빌드/테스트 작업을 작업자 농장에 전송할 때 약 5배 더 빠른 클린 빌드를 확인했습니다. bazel의 공격적인 캐싱 메커니즘으로 인해 평균 빌드 시간이 10배 더 빨라집니다. Maven 또는 Gradle에서 Bazel로 마이그레이션하나요? 자문해야 할 중요한 질문 5가지

Zenly

Zenly는 친구와 가족의 실시간 지도입니다. 만날 수 있는 가장 즐거운 방법이죠. 아니면 뭔가를 보고 싶나요? 멀리 떨어져 있어도 함께 느낄 수 있습니다.


Bazel을 사용한 오픈소스 프로젝트

압실

Abseil은 C++ 표준 라이브러리를 보완하도록 설계된 C++ 코드 (C++11 준수)의 오픈소스 컬렉션입니다.

Angular

Angular는 널리 사용되는 웹 프레임워크입니다. Angular는 Bazel로 빌드되었습니다.

아폴로

Apollo는 자율 차량의 개발, 테스트, 배포를 가속화하는 유연한 고성능 아키텍처입니다.

brpc

Baidu에서 사용되는 산업 등급 RPC 프레임워크로, 1,000,000개 이상의 인스턴스(클라이언트 수 제외)와 Baidu 내부에 0.1개 이상의 종류의 서비스를 제공합니다.

cert-manager

cert-manager는 다양한 발급 소스에서 TLS 인증서의 관리 및 발급을 자동화하는 Kubernetes 부가기능입니다. 그러면 인증서가 유효하고 주기적으로 최신 상태인지 확인하며 만료되기 전에 적절한 시점에 인증서를 갱신하려고 시도합니다.

CallBuilder

함수 한 개를 작성하여 빌더를 만들 수 있는 자바 코드 생성기

CPPITER도구

Python 내장 함수와 itertools 라이브러리에서 영감을 받은 루프 부가기능의 범위 기반 기능을 제공하는 C++ 라이브러리입니다. itertools 및 Python3 기본 제공과 마찬가지로 이 라이브러리는 가능한 경우 지연 평가를 사용합니다.

카피바라

Copybara는 저장소 간에 코드를 변환하고 이동하는 도구입니다.

Dagger

Dagger는 자바 및 Android 모두를 위한 완전 정적, 컴파일 시간 종속 항목 삽입 프레임워크입니다.

DAML

DAML은 개인 정보를 보호하는 안전한 런타임에서 미래에 대비한 분산 애플리케이션을 빌드할 수 있는 스마트 계약 언어입니다.

딥 러닝

에이전트 기반 AI 연구를 위한 맞춤설정 가능한 3D 플랫폼입니다.

드레이크

Drake는 MIT에서 시작된 C++ 도구 모음으로, 현재 Toyota Research Institute에서 주도하고 있습니다. Robo는 로봇의 작동 방식을 분석하고 이를 위한 제어 시스템을 구축하기 위한 도구 모음으로, 최적화 기반 설계/분석에 크게 중점을 둡니다.

Envoy

C++ L7 프록시 및 통신 버스

오류 발생 가능성

흔히 발생하는 자바 실수를 컴파일 시간 오류로 포착합니다. (Bazel로 마이그레이션이 진행 중입니다.)

Extensible Service Proxy

ESP(Extensible Service Proxy)는 JSON/REST 또는 gRPC API 서비스에 API 관리 기능을 사용 설정하는 프록시입니다. 현재 구현은 NGINX HTTP 역방향 프록시 서버를 기반으로 합니다.

FFruit

FFruit는 인기 있는 Falling Fruit 서비스의 무료 오픈소스 Android 애플리케이션입니다.

Gerrit 코드 검토

Gerrit는 Git 기반 프로젝트의 코드 검토 및 프로젝트 관리 도구입니다.

타일

Gitiles는 JGit를 기반으로 하는 Git 저장소용 간단한 저장소 브라우저입니다.

연마

Grakn (https://grakn.ai/)은 복잡한 데이터 네트워크를 구성하고 쿼리 가능한 지식 정보 엔진입니다.

GRPC

언어 및 플랫폼 중립적인 원격 절차 호출 시스템입니다. Bazel은 기본 빌드 시스템이지만 지원되지 않습니다.

gVisor

gVisor는 컨테이너 런타임 샌드박스입니다.

구에틀리

Guetzli는 높은 시각적 품질에서 뛰어난 압축 밀도를 목표로 하는 JPEG 인코더입니다.

굴라바

Prolog 스타일 조건자를 작성하고 일반 자바 코드에서 원활하게 사용할 수 있는 자바 코드 생성기입니다.

히어로

Heron은 Twitter의 실시간 내결함성 스트림 처리 엔진입니다.

JGit

JGit는 Git 버전 제어 시스템을 구현하는 경량의 순수 자바 라이브러리입니다.

존슨

JSON을 위해 공식적으로 지정된 구성 생성 언어입니다. Bazel은 지원되는 빌드 시스템입니다.

Kubernetes

Kubernetes는 여러 호스트에서 컨테이너화된 애플리케이션을 관리하기 위한 오픈소스 시스템으로, 애플리케이션의 배포, 유지보수, 확장을 위한 기본 메커니즘을 제공합니다.

키스

코드와 호환되는 도구를 빌드하기 위한 생태계입니다.

노뮬러스

Google App Engine의 최상위 도메인 이름 레지스트리 서비스입니다.

ONOS : 개방형 네트워크 운영체제

ONOS는 기존 '갈색 필드' 네트워크에서 SDN '녹색 필드' 네트워크로의 전환을 지원하는 유일한 SDN 컨트롤러 플랫폼입니다. 이를 통해 새롭고 흥미로운 기능과 네트워크 운영자의 배포 및 운영에 지장을 주는 비용 절감 효과를 얻을 수 있습니다.

자바용 PetitParser

프로그래밍 언어의 문법은 전통적으로 정적으로 지정됩니다. 피할 수 없이 모호하게 만들어지기 때문에 재사용하고 재사용하기가 어렵습니다. PetitParser는 스캐너리스 파싱, 파서 결합기의 아이디어를 결합하여 표현식 문법과 패트 파서를 파싱하여 문법 및 파서를 모델링하고 동적으로 재구성할 수 있습니다.

PlaidML

PlaidML은 어디서나 딥 러닝을 진행할 수 있는 프레임워크입니다.

프로젝트 V

프로젝트 V는 인터넷을 통해 자체 개인 정보 보호 네트워크를 빌드하는 데 도움이 되는 도구 모음입니다.

Prysmatic Labs Ehereum 2.0 구현

Prysm은 블록체인 기반 분산 컴퓨팅 플랫폼인 Ehereum 2.0의 샤딩 클라이언트입니다.

레이

Ray는 유연한 고성능 배포 실행 프레임워크입니다.

휴식

Resty는 Go용 단순 HTTP 및 REST 클라이언트 라이브러리 (Ruby 레스팅 클라이언트에서 영감을 받음)입니다.

거칠기

Roughtime은 안전한 시간 동기화를 제공하는 것을 목표로 하는 프로젝트입니다.

셀레늄

Selenium은 웹 애플리케이션을 테스트하기 위한 이동식 프레임워크입니다.

시맨틱

Semantic은 소스 코드 파싱, 분석, 비교를 위한 Haskell 라이브러리 및 명령줄 도구입니다. GitHub에서 개발했으며 예를 들어 코드 탐색에 사용됩니다.

게재됨

Serving은 고성능 RESTful 웹 서버를 빌드하기 위한 C++ 라이브러리입니다.

소넷

Sonnet은 TensorFlow를 기반으로 구축되어 복잡한 신경망을 빌드하는 라이브러리입니다.

셔벗

Sorbet은 Ruby 하위 집합을 빠르고 강력한 유형 검사기로 사용하기 때문입니다. 코드 백만 줄의 코드베이스로 확장되며 점진적으로 채택할 수 있습니다.

잉크

Tink는 안전하고 사용하기 쉬우며 오용하기 어려운 암호화 API를 제공하는 다국어 크로스 플랫폼 오픈소스 라이브러리입니다.

TensorFlow

머신 인텔리전스용 오픈소스 소프트웨어 라이브러리

터보 산타

플랫폼에 독립적인 GameBoy 에뮬레이터입니다.

방해 금지

Project Wycheproof는 암호화 라이브러리를 알려진 공격과 비교하여 테스트합니다.

XIOSim

XIOSim은 x86 아키텍처용 세부 사용자 모드 마이크로아키텍처 시뮬레이터입니다.

지후 일선화

Zhihu DailyPurify는 중국의 질문과 답변 웹인 Zhihu Daily의 경량 버전입니다.