Skip to content

The-Clowder-Project/the-clowder-project

View on GitHub ↗Related repositories →

This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general

active 2024-05-282025-12-22 (UTC)

Partial coverage20,543 / 26,299 hourly files (78%) · 2 absent upstream · 5,753 failed, retryable2023-08-152026-08-14 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
293
Pushes
255
Pull requests
1
Issues
13
Stars
12
Forks
3

Activity over time

Daily event counts in the loaded window

Line chart, 574 days from 2024-05-28 to 2025-12-22. Pushes: 255 total, peak 29 in a day. Pull requests: 1 total, peak 1 in a day. Issues: 13 total, peak 3 in a day. Comments: 8 total, peak 3 in a day. Stars: 12 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.

Top contributors

Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity

ContributorContributionsPushesPRsComments
topological-modular-forms26024116
vcvpaiva1001
4e554c4c1000
mayank7851001

Recent activity

Latest issues, pull requests and releases

  • Issue comment#24topological-modular-forms2025-08-03 22:29
    More proofs
  • Pull request#23topological-modular-forms2025-07-28 15:50
  • Issue comment#23topological-modular-forms2025-07-28 15:50
    Variety of added proofs
  • Issue#14topological-modular-forms2025-07-11 21:52
    Add an introduction to the Clowder Project
  • Issue comment#22topological-modular-forms2025-07-08 01:03
    `prefers-color-scheme` media query in css
  • Issue#22topological-modular-forms2025-07-08 01:03
    `prefers-color-scheme` media query in css
  • Issue#224e554c4c2025-07-08 00:39
    `prefers-color-scheme` media query in css
  • Issue#7topological-modular-forms2025-07-06 01:03
    Fix Statistics
  • Issue comment#14topological-modular-forms2025-07-06 01:00
    Add an introduction to the Clowder Project
  • Issue#14topological-modular-forms2025-07-06 01:00
    Add an introduction to the Clowder Project
  • Issue#21topological-modular-forms2025-07-02 17:36
    Duskin's work
  • Issue comment#14topological-modular-forms2025-06-05 15:28
    Add an introduction to the Clowder Project
  • Issue comment#19topological-modular-forms2025-06-05 15:27
    Add an introduction/guide to clowder
  • Issue#19topological-modular-forms2025-06-05 15:27
    Add an introduction/guide to clowder
  • Issue comment#14vcvpaiva2025-06-05 15:06
    Add an introduction to the Clowder Project
  • Issue#20topological-modular-forms2025-06-05 14:58
    Analogies between set theory and category theory
  • Issue#16topological-modular-forms2024-12-15 22:18
    Change "Proof of Definition" into more descriptive labels
  • Issue comment#14mayank7852024-08-27 00:41
    Add an introduction to the Clowder Project
  • Issue#14topological-modular-forms2024-08-27 00:35
    Add an introduction to the Clowder Project
  • Issue#13topological-modular-forms2024-08-27 00:18
    Intersection between PL and category theory
  • Issue#12topological-modular-forms2024-08-27 00:14
    Add a "Guide to the Literature"
  • Issue#11topological-modular-forms2024-05-28 05:18
    UI issues/improvements

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 12 stars here means stars gained during the window, not the repo's star count.