Repositories list

• MatricesForHomalg.jl

  Public
  Matrices for the homalg project

  Julia

  •

  GNU Lesser General Public License v3.0

  •44 forks•00 stars•33 issues•11 pull request•Updated Apr 25, 2026Apr 25, 2026

• CapAndHomalg.jl

  Public
  The CAP and homalg projects compatibility package for Julia

  Julia

  •

  GNU Lesser General Public License v3.0

  •55 forks•66 stars•11 issue•00 pull requests•Updated Apr 25, 2026Apr 25, 2026

• HomalgProject.jl

  Public
  The homalg project compatibility package for Julia

  juliacategory-theorygap+ 6

  juliacategory-theorygaposcarhomological-algebraderived-categoryderived-functorhomalghomotopy-category

  Julia

  •

  GNU Lesser General Public License v3.0

  •77 forks•55 stars•00 issues•00 pull requests•Updated Apr 25, 2026Apr 25, 2026

• Locales

  Public
  [READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets

  frameslocaleslattices+ 5

  frameslocaleslatticesheyting-algebrascoframescoheyting-algebrasboolean-algebrasconstructible-sets

  GAP

  •

  GNU General Public License v2.0

  •44 forks•11 star•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• CategoricalTowers

  Public
  Towers of category constructors

  category-theorycompletionscategory-constructors+ 10

  category-theorycompletionscategory-constructorscocompletionscategorical-towersfinite-strict-product-completioncategory-of-presheavescategory-of-copresheavesfinite-colimit-cocompletionfinite-limit-completion+ 3

  GAP

  •

  GNU General Public License v2.0

  •66 forks•1111 stars•2727 issues•33 pull requests•Updated Apr 24, 2026Apr 24, 2026

• FpLinearCategories

  Public
  [READ-ONLY-SUBSPLIT] Finitely presented linear categories by generating quivers and relations

  GAP

  •

  GNU General Public License v2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• FpCategories

  Public
  [READ-ONLY-SUBSPLIT] Finitely presented categories by generating quivers and relations

  GAP

  •

  GNU General Public License v2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• FiniteCocompletions

  Public
  [READ-ONLY-SUBSPLIT] Finite (co)product/(co)limit (co)completions

  GAP

  •

  GNU General Public License v2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• Algebroids

  Public
  [READ-ONLY-SUBSPLIT] Algebroids and bialgebroids as preadditive categories generated by enhanced quivers

  quiversfinitely-presented-categoryalgebroids+ 2

  quiversfinitely-presented-categoryalgebroidsbialgebroidspath-algebras

  GAP

  •

  GNU General Public License v2.0

  •44 forks•11 star•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• PackageJanitor

  Public
  Assist GAP packages in complying with standards

  Jinja

  •55 forks•22 stars•55 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• SubcategoriesForCAP

  Public
  [READ-ONLY-SUBSPLIT] Subcategory and other related constructors for CAP categories

  subcategoryslice-categoryfull-subcategory

  subcategoryslice-categoryfull-subcategory

  GAP

  •

  GNU General Public License v2.0

  •33 forks•00 stars•33 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• SliceCategories

  Public
  Slice categories

  GAP

  •

  GNU General Public License v2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• FunctorCategories

  Public
  [READ-ONLY-SUBSPLIT] Categories of functors

  functorsfunctor-categoryfinitely-presented-category+ 2

  functorsfunctor-categoryfinitely-presented-categorylinear-categoryquiver-representations

  GAP

  •

  GNU General Public License v2.0

  •66 forks•33 stars•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• FinGSetsForCAP

  Public
  The (skeletal) elementary topos of finite G-sets

  GAP

  •

  GNU General Public License v2.0

  •55 forks•00 stars•11 issue•00 pull requests•Updated Apr 23, 2026Apr 23, 2026

• CAP_project

  Public
  CAP project -- Categories, Algorithms, and Programming

  modulescategory-theoryinternalization+ 5

  modulescategory-theoryinternalizationhomological-algebraadditive-closurefreyd-categoryadelman-categoryvector-spaces

  GAP

  •1818 forks•4141 stars•7575 issues•1212 pull requests•Updated Apr 22, 2026Apr 22, 2026

• HigherHomologicalAlgebra

  Public
  A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences

  gaphomological-algebraderived-category+ 4

  gaphomological-algebraderived-categoryhomotopy-categoryderived-equivalencestriangulated-categoriescomplex-categories

  GAP

  •66 forks•77 stars•66 issues•00 pull requests•Updated Apr 22, 2026Apr 22, 2026

• cct-icms-2026

  Public
  Computational Category Theory @ ICMS 2026

  CSS

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• FinSetsForCAP

  Public
  The (skeletal) elementary topos of finite sets

  finite-setselementary-topos

  finite-setselementary-topos

  GAP

  •

  GNU General Public License v2.0

  •88 forks•44 stars•11 issue•66 pull requests•Updated Apr 20, 2026Apr 20, 2026

• CAP_project.jl

  Public
  Julia versions of the CAP project, transpiled from GAP

  Julia

  •33 forks•00 stars•00 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• Locales.jl

  Public
  Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets

  Julia

  •

  GNU General Public License v2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 16, 2026Apr 16, 2026

• CategoricalTowers.jl

  Public
  Julia version of Towers of category constructors, transpiled from GAP

  Julia

  •22 forks•00 stars•00 issues•00 pull requests•Updated Apr 16, 2026Apr 16, 2026

• GradientBasedLearningForCAP

  Public
  A CAP-Based Package for Gradient-Based Learning

  neural-networksgradient-descentadam-optimizer+ 4

  neural-networksgradient-descentadam-optimizeradagrad-optimiserparametrised-morphismscategory-of-smooth-mapscategory-of-lenses

  GAP

  •

  GNU General Public License v2.0

  •11 fork•11 star•00 issues•00 pull requests•Updated Apr 13, 2026Apr 13, 2026

• FpLinearCategories.jl

  Public
  Finitely presented linear categories by generating quivers and relations

  Julia

  •

  GNU General Public License v2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 13, 2026Apr 13, 2026

• FpCategories.jl

  Public
  Finitely presented categories by generating quivers and relations

  Julia

  •

  GNU General Public License v2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 13, 2026Apr 13, 2026

• QuotientCategories.jl

  Public
  [READ-ONLY-SUBSPLIT] Quotient categories

  Julia

  •

  GNU General Public License v2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026

• ToolsForCategoricalTowers.jl

  Public
  [READ-ONLY-SUBSPLIT] Tools for CategoricalTowers

  Julia

  •

  GNU General Public License v2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026

• CAP.jl

  Public
  [READ-ONLY-SUBSPLIT] Categories, Algorithms, Programming for Julia

  Julia

  •

  GNU General Public License v2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026

• ModulePresentationsForCAP.jl

  Public
  [READ-ONLY-SUBSPLIT] Category R-pres for CAP in Julia

  Julia

  •

  GNU General Public License v2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026

• FreydCategoriesForCAP.jl

  Public
  [READ-ONLY-SUBSPLIT] Formal (co)kernels for additive categories in Julia

  Julia

  •

  GNU General Public License v2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026

• LinearClosuresForCAP.jl

  Public
  Linear closures

  Julia

  •

  GNU General Public License v2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026