GaloisInc의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
Cryptol: 암호학을 위한 언어
명령형 프로그램을 위한 심볼릭 시뮬레이션 라이브러리 Crucible
소프트웨어 분석 워크벤치
