Topik · category-theory

category-theory

Repositori open source terpantau bertanda category-theory, diurutkan berdasarkan bintang.

Repositori

Total bintang

26.718

Rata-rata bintang

2.969

Porsi

0,00%

Topik yang sering muncul berdampingan dengan category-theory di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda category-theory.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
milewski-ctfp-pdf ↗@hmemcpyTeX
PDF tidak resmi dan sumber LaTeX untuk 'Category Theory for Programmers' karya Bartosz Milewski.
★ 11.690+9Perubahan bintang dalam 7 hari terakhir
#2
plt ↗@steshawCSS
Teori Bahasa Pemrograman λΠ
★ 5.362+3Perubahan bintang dalam 7 hari terakhir
#3
quiver ↗@varkorJavaScript
Editor diagram komutatif modern untuk web.
★ 3.614+5Perubahan bintang dalam 7 hari terakhir
#4
Category_Theory_Machine_Learning ↗@bgavranPython
Daftar makalah yang mempelajari machine learning melalui sudut pandang teori kategori
★ 1.539+1Perubahan bintang dalam 7 hari terakhir
#5
fp-core.rs ↗@JasonShinRust
Library untuk pemrograman fungsional di Rust
★ 1.428+0Perubahan bintang dalam 7 hari terakhir
#6
LtuPatternFactory ↗@thmaHaskell
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Pola Desain Perangkat Lunak
★ 1.000+0Perubahan bintang dalam 7 hari terakhir
#7
category-theory ↗@jwiegleyRocq Prover
Formalisasi teori kategori bebas aksioma di Coq untuk studi pribadi dan pekerjaan praktis
★ 807+1Perubahan bintang dalam 7 hari terakhir
#8
Catlab.jl ↗@AlgebraicJuliaJulia
Framework untuk teori kategori terapan dalam bahasa Julia
★ 726+0Perubahan bintang dalam 7 hari terakhir
#9
FsToolkit.ErrorHandling ↗@demystifyfpF#
Pustaka F# yang opinif untuk penanganan error
★ 552+0Perubahan bintang dalam 7 hari terakhir