トピック · 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
形式検証済み C コンパイラ CompCert
★ 2,220+1直近 7 日のスター増減
#3
UniMath ↗@UniMathRocq Prover
一意性（univalent）の観点から数学の主要な体系を形式化することを目的とした rocq ライブラリ
★ 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
数学的コンポーネントライブラリ
★ 696+1直近 7 日のスター増減
#9
Cosette ↗@uwdbLean
Cosette は自動 SQL ソルバーです。
★ 686+0直近 7 日のスター増減
#10
verdi ↗@uwplseRocq Prover
Coqで分散システムの実装を形式検証するためのフレームワーク
★ 625+0直近 7 日のスター増減
#11
practical-fm ↗@ligurio
業界で形式検証手法を使用している企業の厳選リスト
★ 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 日のスター増減

← トピック一覧に戻る

関連トピック

最近の急上昇