Sujet · category-theory

category-theory

Dépôts open source suivis étiquetés category-theory, triés par étoiles.

Dépôts

9

Total d'étoiles

26 718

Étoiles en moyenne

2 969

Part

0,00%

Sujets qui apparaissent souvent aux côtés de category-theory sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés category-theory.

Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.

#1
milewski-ctfp-pdf ↗@hmemcpyTeX
Version PDF non officielle et source LaTeX de l'ouvrage 'Category Theory for Programmers' de Bartosz Milewski.
★ 11 690+8Évolution des étoiles sur les 7 derniers jours
#2
plt ↗@steshawCSS
Théorie des langages de programmation λΠ.
★ 5 362+1Évolution des étoiles sur les 7 derniers jours
#3
quiver ↗@varkorJavaScript
Un éditeur moderne de diagrammes commutatifs pour le web.
★ 3 614+2Évolution des étoiles sur les 7 derniers jours
#4
Category_Theory_Machine_Learning ↗@bgavranPython
Liste d'articles étudiant l'apprentissage automatique sous l'angle de la théorie des catégories
★ 1 539+0Évolution des étoiles sur les 7 derniers jours
#5
fp-core.rs ↗@JasonShinRust
Une bibliothèque pour la programmation fonctionnelle en Rust
★ 1 428+0Évolution des étoiles sur les 7 derniers jours
#6
LtuPatternFactory ↗@thmaHaskell
Lambda the ultimate Pattern Factory : FP, Haskell, Typeclassopedia vs Software Design Patterns
★ 1 000+0Évolution des étoiles sur les 7 derniers jours
#7
category-theory ↗@jwiegleyRocq Prover
Formalisation de la théorie des catégories sans axiomes dans Coq pour l'étude personnelle et le travail pratique.
★ 808+2Évolution des étoiles sur les 7 derniers jours
#8
Catlab.jl ↗@AlgebraicJuliaJulia
Un framework pour la théorie des catégories appliquée dans le langage Julia.
★ 726+0Évolution des étoiles sur les 7 derniers jours
#9
FsToolkit.ErrorHandling ↗@demystifyfpF#
Une bibliothèque F# orientée pour la gestion des erreurs
★ 552+0Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets