Skip to content
GitHub Explorer

UofT-Carnap/Carnap

View on GitHub ↗Related repositories →

A formal logic framework that runs in the browser

active 2023-10-12 → 2024-10-18 (UTC)

Complete coverage27,275 / 27,278 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-24 (UTC)
Events
204
Pushes
83
Pull requests
49
Issues
0
Stars
1
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 373 days from 2023-10-12 to 2024-10-18. Pushes: 83 total, peak 10 in a day. Pull requests: 49 total, peak 3 in a day. Issues: 0 total, peak 0 in a day. Comments: 6 total, peak 2 in a day. Stars: 1 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Top contributors

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

ContributorContributionsPushesPRsComments
mangoes-git7235232
Unworthy84144823110
alexpejovic3419114
majdaloj10640

Recent activity

Latest issues, pull requests and releases

  • Pull request#27mangoes-git2024-10-16 16:54
  • Pull request#27mangoes-git2024-10-16 16:54
  • Pull request#26alexpejovic2024-10-15 15:58
  • Pull request#25mangoes-git2024-10-06 19:22
  • Pull request#25Unworthy84142024-10-05 19:55
  • Pull request#24mangoes-git2024-10-04 13:46
  • Pull request#24mangoes-git2024-10-04 13:46
  • Pull request#21Unworthy84142024-09-15 23:06
  • Pull request#23mangoes-git2024-09-08 15:27
  • Pull request#23mangoes-git2024-09-08 15:27
  • Pull request#22mangoes-git2024-07-19 16:51
  • Pull request#21mangoes-git2024-07-19 14:35
  • Pull request#20mangoes-git2024-07-18 14:55
  • Pull request#20mangoes-git2024-07-18 14:48
  • Pull request#19Unworthy84142024-07-12 19:16
  • Pull request#17Unworthy84142024-07-12 19:14
  • Pull request#19alexpejovic2024-03-28 16:29
  • Pull request#18mangoes-git2023-12-11 15:54
  • Pull request#18alexpejovic2023-12-09 01:56
  • Pull request#16mangoes-git2023-12-05 14:20
  • Issue comment#17mangoes-git2023-12-04 20:50
    CARNAP-125 Add ability to highlight rows and columns in truth tables
  • Pull request#17mangoes-git2023-12-04 20:49
  • Pull request#16alexpejovic2023-12-04 18:45
  • Pull request#14Unworthy84142023-11-26 19:29
  • Pull request#15alexpejovic2023-11-24 21:03

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