FStarLang의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
증명 중심 프로그래밍 언어
KaRaMeL은 저수준 F* 프로그램을 읽기 쉬운 C 코드로 추출하는 도구입니다.
