Coq 로 작성된 라이브러리

safegcd-bounds

safegcd의 divsteps 반복에 대한 경계입니다.
  • 45

unbound

Replib: 일반 프로그래밍 및 Unbound: 바인더의 일반 처리.
  • 40
  • BSD 3-clause "New" or "Revised"

advent-of-coq-2021

  • 34

verified-scheduling

  • 28

coq-simple-io

갈리나를 위한 IO.
  • 27
  • MIT

aneris

분산 시스템 개발 및 검증을 위한 프로그램 논리.
  • 25
  • MIT

cps

Coq[WIP](by takanuva)의 연속 통과 스타일 미적분 공식화.
  • 20
  • BSD 3-clause "New" or "Revised"

comonad-transformers

Haskell 98 comonad 변환기 - 4.0부터 comonad 패키지에 병합되었습니다.
  • 12
  • BSD 3-clause "New" or "Revised"

regexp-Brzozowski

  • 12
  • MIT

friscv

SystemVerilog에서 RISCV CPU 구현.
  • 10
  • MIT

doubly-generic

Coq에서 Arity-generic 데이터 유형 일반 또는 이중 일반 프로그래밍..
  • 4
  • MIT

Doubly-Linked-List-VST

CS2603(2021 Spring)의 최종 프로젝트로, VST를 사용하여 이중 연결 목록 라이브러리 검증을 목표로 합니다. @karzexcc와 협력.
  • 2
  • GNU General Public License v3.0 only

recross-coq

정규식 십자말 풀이를 위한 Coq의 정규식 엔진.
  • 0
  • GNU General Public License v3.0 only

coq-proof

HashgraphTrim 알고리즘에 대한 Coq 증명.
  • 0