토픽 · coq

coq

coq 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.

리포지토리

총 스타

17,684

평균 스타

1,105

비중

0.00%

같은 리포지토리에 coq 태그와 자주 함께 쓰이는 토픽이에요.

최근 라이징

최근 90일 안에 만들어지고 coq 태그가 달린 리포지토리예요.

최근 90일 안에 이 토픽 태그가 달린 새 리포지토리가 없어요.

#1
rocq ↗@rocq-proverOCaml
Rocq Prover는 대화형 정리 증명기이자 증명 보조 도구입니다. 수학적 정의, 실행 가능한 알고리즘, 정리를 작성하기 위한 형식 언어와 기계로 검증된 증명을 반대화형으로 개발할 수 있는 환경을 제공합니다.
★ 5,562+4최근 7일 스타 변화
#2
CompCert ↗@AbsIntRocq Prover
CompCert 형식 검증(formally-verified) C 컴파일러
★ 2,220+1최근 7일 스타 변화
#3
UniMath ↗@UniMathRocq Prover
이 rocq 라이브러리는 유니발런트(univalent) 관점을 사용하여 방대한 수학 체계를 형식화하는 것을 목표로 합니다.
★ 1,019+2최근 7일 스타 변화
#4
SF-zh ↗@Rocq-zhHTML
소프트웨어 기초 중국어판
★ 974+0최근 7일 스타 변화
#5
aeneas ↗@AeneasVerifOCaml
Rust 프로그램을 위한 검증 툴체인
★ 948+19최근 7일 스타 변화
#6
magmide ↗@magmideRocq Prover
현실의 소프트웨어 엔지니어가 검증 가능한 올바른 베어메탈 코드를 작성할 수 있도록 고안된 의존 타입 증명 언어
★ 835+0최근 7일 스타 변화
#7
category-theory ↗@jwiegleyRocq Prover
개인 학습 및 실무를 위한 Coq 기반의 공리 없는 범주론 형식화
★ 808+2최근 7일 스타 변화
#8
math-comp ↗@math-compRocq Prover
수학적 컴포넌트 (Mathematical Components).
★ 696+1최근 7일 스타 변화
#9
Cosette ↗@uwdbLean
Cosette는 자동화된 SQL 솔버입니다.
★ 686+0최근 7일 스타 변화
#10
verdi ↗@uwplseRocq Prover
Coq에서 분산 시스템 구현을 형식적으로 검증하기 위한 프레임워크
★ 625+0최근 7일 스타 변화
#11
practical-fm ↗@ligurio
산업계에서 정형 검증(formal methods)을 사용하는 기업들의 엄선된 목록
★ 610+1최근 7일 스타 변화
#12
PG ↗@ProofGeneralEmacs Lisp
Proof General의 새로운 저장소
★ 558+2최근 7일 스타 변화
#13
rocq-tricks ↗@rocq-communityCoq
Coq 매뉴얼에 있으면 좋았을 팁들 [maintainer=@tchajed]
★ 552+0최근 7일 스타 변화
#14
metarocq ↗@MetaRocqRocq Prover
Rocq에서의 메타프로그래밍, 검증된 메타 이론 및 Rocq 구현
★ 550+1최근 7일 스타 변화
#15
jscoq ↗@jscoqTypeScript
Coq의 Javascript 포팅 버전 — 브라우저에서 Coq 실행.
★ 547+0최근 7일 스타 변화
#16
VST ↗@PrincetonUniversityRocq Prover
검증된 소프트웨어 툴체인
★ 508+1최근 7일 스타 변화

← 토픽 목록으로

관련 토픽

최근 라이징