Tópico · category-theory

category-theory

Repositórios de código aberto acompanhados marcados com category-theory, ordenados por estrelas.

Repositórios

Total de estrelas

26.706

Média de estrelas

2.967

Participação

0,00%

Tópicos que aparecem com frequência ao lado de category-theory no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com category-theory.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#1
milewski-ctfp-pdf ↗@hmemcpyTeX
PDF não oficial e código-fonte em LaTeX do livro 'Category Theory for Programmers' de Bartosz Milewski
★ 11.682+2Variação de estrelas nos últimos 7 dias
#2
plt ↗@steshawCSS
Teoria de Linguagens de Programação λΠ.
★ 5.361+3Variação de estrelas nos últimos 7 dias
#3
quiver ↗@varkorJavaScript
Um editor moderno de diagramas comutativos para a web.
★ 3.612+3Variação de estrelas nos últimos 7 dias
#4
Category_Theory_Machine_Learning ↗@bgavranPython
Lista de artigos que estudam aprendizado de máquina através da lente da teoria das categorias
★ 1.539+1Variação de estrelas nos últimos 7 dias
#5
fp-core.rs ↗@JasonShinRust
Uma biblioteca para programação funcional em Rust
★ 1.428+0Variação de estrelas nos últimos 7 dias
#6
LtuPatternFactory ↗@thmaHaskell
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Padrões de Design de Software.
★ 1.000+1Variação de estrelas nos últimos 7 dias
#7
category-theory ↗@jwiegleyRocq Prover
Uma formalização da teoria das categorias sem axiomas em Coq para estudo pessoal e trabalho prático
★ 806+1Variação de estrelas nos últimos 7 dias
#8
Catlab.jl ↗@AlgebraicJuliaJulia
Um framework para teoria das categorias aplicada na linguagem Julia
★ 726+8Variação de estrelas nos últimos 7 dias
#9
FsToolkit.ErrorHandling ↗@demystifyfpF#
Uma biblioteca F# opinativa para tratamento de erros
★ 552+0Variação de estrelas nos últimos 7 dias