{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"MatricesForHomalg.jl","owner":"homalg-project","isFork":false,"description":"Matrices for the homalg project","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":2,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T13:17:17.765Z"}},{"type":"Public","name":"CapAndHomalg.jl","owner":"homalg-project","isFork":false,"description":"The CAP and homalg projects compatibility package for Julia","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":1,"issueCount":5,"starsCount":2,"forksCount":5,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T01:05:21.762Z"}},{"type":"Public","name":"HomalgProject.jl","owner":"homalg-project","isFork":false,"description":"The homalg project compatibility package for Julia","topicNames":["category-theory","homological-algebra","derived-category","derived-functor","homotopy-category","julia","gap","oscar","homalg"],"topicsNotShown":0,"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":1,"issueCount":0,"starsCount":4,"forksCount":7,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T00:56:16.750Z"}},{"type":"Public","name":"ZariskiFrames","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties","topicNames":["locales","constructible-sets","zariski-frames","zariski-coframes","zariski-topology","locally-closed-sets","quasi-affine-variety","affine-variety","projective-variety","toric-variety"],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":6,"starsCount":0,"forksCount":3,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-04T07:28:21.047Z"}},{"type":"Public","name":"CategoricalTowers","owner":"homalg-project","isFork":false,"description":"Towers of category constructors","topicNames":["category-theory","completions","category-constructors","cocompletions","categorical-towers","finite-strict-product-completion","category-of-presheaves","category-of-copresheaves","finite-colimit-cocompletion","finite-limit-completion"],"topicsNotShown":3,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":1,"issueCount":20,"starsCount":4,"forksCount":4,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-04T07:27:22.151Z"}},{"type":"Public","name":"Locales","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets","topicNames":["frames","locales","lattices","heyting-algebras","coframes","coheyting-algebras","boolean-algebras","constructible-sets"],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":4,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-04T07:20:06.275Z"}},{"type":"Public","name":"LazyCategories","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Construct an equivalent lazy category out of a CAP category","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":5,"starsCount":0,"forksCount":2,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-04T07:18:39.154Z"}},{"type":"Public","name":"InternalModules","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Modules over internal algebras","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-04T07:15:54.992Z"}},{"type":"Public","name":"FunctorCategories","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Categories of functors","topicNames":["functors","functor-category","finitely-presented-category","linear-category","quiver-representations"],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":6,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-04T07:13:59.761Z"}},{"type":"Public","name":"FiniteCocompletions","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Finite (co)product/(co)limit (co)completions","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-04T07:12:42.026Z"}},{"type":"Public","name":"CatReps","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Representations and cohomology of finite categories","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-04T07:11:13.894Z"}},{"type":"Public","name":"CAP_project","owner":"homalg-project","isFork":false,"description":"CAP project -- Categories, Algorithms, and Programming","topicNames":["modules","category-theory","internalization","homological-algebra","additive-closure","freyd-category","adelman-category","vector-spaces"],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":21,"issueCount":82,"starsCount":21,"forksCount":17,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T21:06:43.233Z"}},{"type":"Public","name":"gap-docker-base","owner":"homalg-project","isFork":true,"description":"Docker container for external software used by GAP packages","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T09:17:22.824Z"}},{"type":"Public","name":"homalg-project.github.io","owner":"homalg-project","isFork":false,"description":"Homepage repository of the GitHub organization homalg-project","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T15:35:57.944Z"}},{"type":"Public","name":"capdays-2024","owner":"homalg-project","isFork":false,"description":"Homepage for CAP Days 2024","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-27T17:20:14.981Z"}},{"type":"Public","name":"gap-docker-master","owner":"homalg-project","isFork":true,"description":"Docker container for the master branch of the GAP repository","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T08:41:23.929Z"}},{"type":"Public","name":"gap-docker","owner":"homalg-project","isFork":true,"description":"Full docker container for GAP and packages","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":8,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T08:41:03.632Z"}},{"type":"Public","name":"Toposes","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Elementary toposes","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":3,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-24T08:35:42.883Z"}},{"type":"Public","name":"SubcategoriesForCAP","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Subcategory and other related constructors for CAP categories","topicNames":["subcategory","slice-category","full-subcategory"],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":3,"starsCount":0,"forksCount":3,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-24T08:34:09.062Z"}},{"type":"Public","name":"ToolsForCategoricalTowers","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Tools for CategoricalTowers","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T14:44:38.628Z"}},{"type":"Public","name":"QuotientCategories","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Quotient categories of CAP categories by two-sided ideals","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T14:42:50.178Z"}},{"type":"Public","name":"PreSheaves","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Categories of (co)presheaves","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T14:35:59.206Z"}},{"type":"Public","name":"IntrinsicModules","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Finitely presented modules over computable rings allowing multiple presentations and the notion of elements","topicNames":["intrinsic-modules","finitely-presented-modules","computable-rings"],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":1,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T14:30:55.975Z"}},{"type":"Public","name":"IntrinsicGradedModules","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Finitely presented graded modules over computable graded rings allowing multiple presentations and the notion of elements","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T14:29:35.845Z"}},{"type":"Public","name":"IntrinsicCategories","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Intrinsic categories for CAP","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":3,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T14:28:43.717Z"}},{"type":"Public","name":"GradedCategories","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Graded categories","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T14:25:32.719Z"}},{"type":"Public","name":"FpCategories","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Finitely presented categories by generating quivers and relations","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T14:22:53.549Z"}},{"type":"Public","name":"ExteriorPowersCategories","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] The graded category of exterior powers of objects of a given Ab-category","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T14:21:00.559Z"}},{"type":"Public","name":"CategoriesWithAmbientObjects","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Categories with objects having ambient objects","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":3,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T14:18:04.544Z"}},{"type":"Public","name":"Algebroids","owner":"homalg-project","isFork":false,"description":"[READ-ONLY-SUBSPLIT] Algebroids and bialgebroids as preadditive categories generated by enhanced quivers","topicNames":["quivers","finitely-presented-category","algebroids","bialgebroids","path-algebras"],"topicsNotShown":0,"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":4,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T14:17:04.775Z"}}],"repositoryCount":79,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}