Repositories list

• MatricesForHomalg.jl

  Public
  Matrices for the homalg project

  Julia

  •

  GNU Lesser General Public License v3.0

  •44 forks•00 stars•44 issues•00 pull requests•Updated Aug 16, 2026Aug 16, 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•22 issues•00 pull requests•Updated Aug 16, 2026Aug 16, 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 Aug 16, 2026Aug 16, 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 Aug 10, 2026Aug 10, 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 Aug 10, 2026Aug 10, 2026

• CAP_project.jl

  Public
  Julia versions of the CAP project, transpiled from GAP

  Julia

  •33 forks•00 stars•44 issues•00 pull requests•Updated Aug 10, 2026Aug 10, 2026

• ZariskiFrames

  Public
  [READ-ONLY-SUBSPLIT] (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties

  localesconstructible-setszariski-frames+ 7

  localesconstructible-setszariski-frameszariski-coframeszariski-topologylocally-closed-setsquasi-affine-varietyaffine-varietyprojective-varietytoric-variety

  GAP

  •

  GNU General Public License v2.0

  •33 forks•00 stars•66 issues•00 pull requests•Updated Aug 6, 2026Aug 6, 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•1212 stars•3333 issues•77 pull requests•Updated Aug 6, 2026Aug 6, 2026

• ToolsForCategoricalTowers

  Public
  [READ-ONLY-SUBSPLIT] Tools for CategoricalTowers

  GAP

  •

  GNU General Public License v2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 6, 2026Aug 6, 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 Aug 6, 2026Aug 6, 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 Aug 6, 2026Aug 6, 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 Aug 5, 2026Aug 5, 2026

• CAP_project

  Public
  CAP project -- Categories, Algorithms, and Programming

  modulescategory-theoryinternalization+ 5

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

  GAP

  •1818 forks•4343 stars•7878 issues•1313 pull requests•Updated Aug 5, 2026Aug 5, 2026

• InternalModules

  Public
  [READ-ONLY-SUBSPLIT] Modules over internal algebras

  GAP

  •

  GNU General Public License v2.0

  •22 forks•00 stars•00 issues•00 pull requests•Updated Aug 4, 2026Aug 4, 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 Aug 4, 2026Aug 4, 2026

• CatReps

  Public
  [READ-ONLY-SUBSPLIT] Representations and cohomology of finite categories

  GAP

  •

  GNU General Public License v2.0

  •33 forks•00 stars•00 issues•00 pull requests•Updated Aug 4, 2026Aug 4, 2026

• PackageJanitor

  Public
  Assist GAP packages in complying with standards

  Jinja

  •55 forks•22 stars•99 issues•00 pull requests•Updated Aug 4, 2026Aug 4, 2026

• ZXCalculusForCAP.jl

  Public
  [READ-ONLY-SUBSPLIT] The category of ZX-diagrams in Julia

  Julia

  •

  GNU General Public License v2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jul 29, 2026Jul 29, 2026

• CartesianCategories.jl

  Public
  [READ-ONLY-SUBSPLIT] Cartesian and cocartesian categories and various subdoctrines in Julia

  Julia

  •

  GNU General Public License v2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jul 29, 2026Jul 29, 2026

• MonoidalCategories.jl

  Public
  [READ-ONLY-SUBSPLIT] Monoidal and monoidal (co)closed categories in Julia

  Julia

  •

  GNU General Public License v2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jul 29, 2026Jul 29, 2026

• ZXCalculusForCAP

  Public
  An implementation of the category of ZX-diagrams in CAP

  GAP

  •

  GNU General Public License v2.0

  •55 forks•00 stars•22 issues•00 pull requests•Updated Jul 29, 2026Jul 29, 2026

• cct-icms-2026

  Public
  Computational Category Theory @ ICMS 2026

  CSS

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jul 22, 2026Jul 22, 2026

• Toposes.jl

  Public
  [READ-ONLY-SUBSPLIT] Elementary toposes in Julia

  Julia

  •

  GNU General Public License v2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jul 19, 2026Jul 19, 2026

• homalg_project

  Public
  Deposited packages of the homalg project

  modulesmatricesgap+ 3

  modulesmatricesgapcomputer-algebra-systemringshomological-algebra

  GAP

  •1919 forks•1818 stars•4141 issues•33 pull requests•Updated Jul 19, 2026Jul 19, 2026

• Toposes

  Public
  [READ-ONLY-SUBSPLIT] Elementary toposes

  GAP

  •

  GNU General Public License v2.0

  •33 forks•11 star•00 issues•00 pull requests•Updated Jul 19, 2026Jul 19, 2026

• Locales.jl

  Public
  [READ-ONLY-SUBSPLIT] 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 Jul 18, 2026Jul 18, 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 Jul 18, 2026Jul 18, 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 Jul 18, 2026Jul 18, 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 Jul 17, 2026Jul 17, 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 Jul 17, 2026Jul 17, 2026