Skip to content
GitHub Explorer

MaxMicheluttiUnitn

View on GitHub ↗

active 2023-09-19 → 2025-03-06 (UTC) · 17 repositories

Complete coverage28,407 / 28,407 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-10 (UTC)
Events
459
Pushes
420
Pull requests
3
Issues
0
Reviews
0
Repositories
17

Activity over time

Daily event counts in the loaded window

Line chart, 535 days from 2023-09-19 to 2025-03-06. Pushes: 420 total, peak 24 in a day. Pull requests: 3 total, peak 2 in a day. Issues: 0 total, peak 0 in a day.

  • Pushes
  • Pull requests
  • Issues

Repositories worked on

Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list

RepositoryContributionsPushesPRsIssuesCommentsLast seen
MaxMicheluttiUnitn/DecisionDiagrams2032020012025-03-06
MaxMicheluttiUnitn/TheoryConsistentDecisionDiagrams1241240002025-03-06
MaxMicheluttiUnitn/SMTP_client30300002023-10-05
MaxMicheluttiUnitn/BadLang16142002024-05-20
MaxMicheluttiUnitn/DigiTwinRYU15150002024-11-25
MaxMicheluttiUnitn/CoolList13130002023-11-09
MaxMicheluttiUnitn/dDNNF-Query12120002025-01-28
MaxMicheluttiUnitn/TITree440002023-12-06
MaxMicheluttiUnitn/dd330002024-04-10
MaxMicheluttiUnitn/FastList220002023-11-10
masinag/dd101002024-04-10
MaxMicheluttiUnitn/RustDPLLSatSolver110002024-05-14
MaxMicheluttiUnitn/AOC2023000002023-12-25
MaxMicheluttiUnitn/reply2024000002024-03-21
ManuelaCorte/Optimization-Techniques000002024-07-14
MaxMicheluttiUnitn/theorydd000002024-03-05
ddnnife/d-dnnf-reasoner000002025-01-16

Works with

People who contribute to the same repositories, ranked by how many they share · automation excluded, or every account would appear to work with everyone

ContributorShared reposRepositories in common
masinag3
masinag/ddMaxMicheluttiUnitn/TheoryConsistentDecisionDiagramsMaxMicheluttiUnitn/DecisionDiagrams
giuspek1
MaxMicheluttiUnitn/DecisionDiagrams

Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.