トピック · category-theory

category-theory

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

リポジトリ

9

総スター数

26,718

平均スター数

2,969

シェア

0.00%

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

最近の急上昇

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

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

#1
milewski-ctfp-pdf ↗@hmemcpyTeX
Bartosz Milewskiの『Category Theory for Programmers』の非公式PDFおよびLaTeXソース。
★ 11,690+8直近 7 日のスター増減
#2
plt ↗@steshawCSS
プログラミング言語理論 λΠ
★ 5,362+1直近 7 日のスター増減
#3
quiver ↗@varkorJavaScript
ウェブ向けのモダンな可換図エディタ。
★ 3,614+2直近 7 日のスター増減
#4
Category_Theory_Machine_Learning ↗@bgavranPython
圏論の観点から機械学習を研究した論文のリスト
★ 1,539+0直近 7 日のスター増減
#5
fp-core.rs ↗@JasonShinRust
Rust 向け関数型プログラミングライブラリ
★ 1,428+0直近 7 日のスター増減
#6
LtuPatternFactory ↗@thmaHaskell
Lambda the ultimate Pattern Factory: FP、Haskell、Typeclassopediaとソフトウェアデザインパターン
★ 1,000+0直近 7 日のスター増減
#7
category-theory ↗@jwiegleyRocq Prover
個人的な学習と実務のための、Coqにおける公理を用いない圏論の形式化
★ 808+2直近 7 日のスター増減
#8
Catlab.jl ↗@AlgebraicJuliaJulia
Julia言語における応用カテゴリカル論のためのフレームワーク
★ 726+0直近 7 日のスター増減
#9
FsToolkit.ErrorHandling ↗@demystifyfpF#
エラーハンドリングのための独自見解に基づく F# ライブラリ
★ 552+0直近 7 日のスター増減

← トピック一覧に戻る