トピック · type-theory

type-theory

type-theory がタグ付けされた追跡中のオープンソースリポジトリを、スター数順に表示します。

リポジトリ

5

総スター数

13,970

平均スター数

2,794

シェア

0.00%

type-theory と同じリポジトリに頻繁に登場するトピック。

最近の急上昇

直近 90 日以内に作成され、type-theory がタグ付けされたリポジトリ。

直近 90 日以内に、このトピックがタグ付けされた新しいリポジトリはありません。

#1
plt ↗@steshawCSS
プログラミング言語理論 λΠ
★ 5,362+1直近 7 日のスター増減
#2
Kind ↗@HigherOrderCOHaskell
モダンな証明言語
★ 3,763-1直近 7 日のスター増減
#3
agda ↗@agdaHaskell
Agda は依存型プログラミング言語および対話型定理証明系です
★ 2,922+3直近 7 日のスター増減
#4
Coq-HoTT ↗@HoTTRocq Prover
ホモトピー型理論のための Coq ライブラリ
★ 1,405+1直近 7 日のスター増減
#5
typescript-sudoku ↗@gruhnTypeScript
型チェッカーがミスをハイライトしながらTypeScriptで数独をプレイする
★ 517-1直近 7 日のスター増減

← トピック一覧に戻る