magmide의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
현실의 소프트웨어 엔지니어가 검증 가능한 올바른 베어메탈 코드를 작성할 수 있도록 고안된 의존 타입 증명 언어
