Skip to content
GitHub Explorer

IvanRenison

View on GitHub ↗

active 2023-08-15 → 2026-09-30 (UTC) · 112 repositories

Complete coverage27,547 / 27,547 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-05 (UTC)
Events
2.9K
Pushes
1.8K
Pull requests
285
Issues
6
Reviews
211
Repositories
112

Activity over time

Daily event counts in the loaded window

Line chart, 1143 days from 2023-08-15 to 2026-09-30. Pushes: 1,803 total, peak 30 in a day. Pull requests: 285 total, peak 8 in a day. Issues: 7 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues

Pull requests and issues are under-captured in the later part of this window. GH Archive progressively stopped recording non-push events during 2026 — −95% or worse by the end of the window. A decline in those two series reflects the archive rather than this account. Pushes stay reliable throughout, so read them as the real signal. Data health has the measurements.

Repositories worked on

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

RepositoryContributionsPushesPRsIssuesCommentsLast seen
IvanRenison/kactl624343860922024-11-06
leanprover-community/mathlib44281625301232026-09-30
IvanRenison/ProgrammingProblems4134130002026-01-15
IvanRenison/Non-commutative-Grobner-Bases2002000002025-02-04
IvanRenison/mathlib41031021002026-06-23
LucianoXu/cqotl944934072025-07-03
ExamenesViejos-FaMAF-Computacion/ExamenesViejos-FaMAF-Computacion94911022024-10-05
IvanRenison/MyCPLib53530002026-01-16
IvanRenison/Tesis-Licenciatura49490002025-03-06
IvanRenison/icpc-team-notebook-el-vasito44404002024-09-08
ExamenesViejos-FAMAF-Computacion/ExamenesViejos-FAMAF-Computacion43402012025-11-25
kth-competitive-programming/kactl23013092024-11-05
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_AlgoritmosYEstructurasDeDatos2_FaMAF1976062024-06-12
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_AnalisisNumerico_FaMAF1684042024-10-02
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_Algebra_FaMAF1585022024-08-25
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_ModelosYSimulacion_FaMAF14101012024-07-25
Lean-Online-Judge/leanoj-problems1284002026-03-11
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_BasesDeDatos_FAMAF1263022025-01-20
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_AnalisisMatematico1_Computacion_FAMAF1264022024-12-22
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_AlgoritmosYEstructurasDeDatos1_FaMAF1182012024-07-05
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_RedesYSistemasDistribuidos_FaMAF1163022024-07-04
IvanRenison/SimpleORAM-Jasmin10100002025-10-27
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_IntroduccionALaLogicaYALaComputacion_FAMAF1054012025-02-27
IvanRenison/CalculoLambda990002024-06-09
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_MatematicaDiscreta2_FaMAF962012024-10-05
IvanRenison/kactlpp862002026-01-15
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_ParadigmasDeLaProgramacion_FaMAF853002024-07-01
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_AnalisisMatematico2_Computacion_FaMAF852012025-02-03
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_ArquitecturaDeComputadoras_FaMAF842022024-10-05
IvanRenison/GCPLib880002023-10-29
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_IntroduccionALosAlgoritmos_FaMAF752002024-07-25
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_ProbabilidadyEstadistica_FaMAF732022023-12-24
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_AnalisisMatematico1_Computacion_FaMAF743002024-02-06
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_LenguajesFormalesYComputabilidad_FaMAF732022024-08-21
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_IngenieriaDelSoftware1_FAMAF733012024-11-15
IvanRenison/colorable_two_of_IsAcyclic770002025-09-29
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_Algebra_FAMAF633002024-12-21
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_AnalisisNumerico_FAMAF642002025-08-15
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_ProbabilidadyEstadistica_FAMAF642002024-12-21
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_MatematicaDiscreta1_FaMAF642002024-07-27
IvanRenison/FireSpread660002024-06-12
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_BasesDeDatos_FaMAF641012024-10-05
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_SistemasOperativos_FaMAF641012024-08-08
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_MetodosComputacionalesEnOptimizacion_FAMAF532002025-09-25
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_AnalisisMatematico2_Computacion_FaMAF532002024-02-06
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_Logica_FaMAF550002024-09-19
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_Fisica_FaMAF550002024-08-29
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_MatematicaDiscreta1_FAMAF532002024-12-21
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_OrganizacionDelComputador_FaMAF522012024-06-27
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_LenguajesYCompiladores_FaMAF550002024-06-27

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
achaval-tomas33
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_AnalisisNumerico_FaMAFExamenesViejos-FaMAF-Computacion/ExamenesViejos_AnalisisMatematico2_Computacion_FaMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_AnalisisNumerico_FAMAFExamenesViejos-FaMAF-Computacion/ExamenesViejos_Algebra_FaMAF+29
MilenaPellegrino14
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_ArquitecturaDeComputadoras_FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_RedesYSistemasDistribuidos_FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_ProbabilidadyEstadistica_FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_ParadigmasDeProgramacion_FaMAF+10
diofanto3311
FAMAF-resources/Modulo_de_ingles-FAMAFFAMAF-resources/1ro_1C-Algoritmos_y_estructura_de_datos_I-FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_ProbabilidadyEstadistica_FAMAFExamenesViejos-FaMAF-Computacion/ExamenesViejos-FaMAF-Computacion+7
AlejoVides9
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_MatematicaDiscreta2_FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_AnalisisMatematico1_Computacion_FAMAFExamenesViejos-FaMAF-Computacion/ExamenesViejos_AlgoritmosYEstructurasDeDatos1_FaMAFExamenesViejos-FaMAF-Computacion/ExamenesViejos_Algebra_FaMAF+5
Aplietexe9
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_MatematicaDiscreta1_FaMAFExamenesViejos-FaMAF-Computacion/ExamenesViejos_AnalisisMatematico2_Computacion_FaMAFExamenesViejos-FaMAF-Computacion/ExamenesViejos_IntroduccionALosAlgoritmos_FaMAFExamenesViejos-FaMAF-Computacion/ExamenesViejos_AlgoritmosYEstructurasDeDatos1_FaMAF+5
AgustinMDominguez8
FAMAF-resources/Modulo_de_ingles-FAMAFFAMAF-resources/1ro_1C-Algoritmos_y_estructura_de_datos_I-FAMAFFAMAF-resources/0-Ingreso-FAMAFFAMAF-resources/Optativa-Redes_Neuronales-FAMAF+4
Edu1758
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_AnalisisMatematico1_Computacion_FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_IntroduccionALosAlgoritmos_FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_AnalisisNumerico_FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_MatematicaDiscreta1_FAMAF+4
shirosweets8
FAMAF-resources/Modulo_de_ingles-FAMAFFAMAF-resources/1ro_1C-Algoritmos_y_estructura_de_datos_I-FAMAFFAMAF-resources/0-Ingreso-FAMAFFAMAF-resources/Optativa-Redes_Neuronales-FAMAF+4
Naevier6
ExamenesViejos-FAMAF-Computacion/ExamenesViejos-FAMAF-ComputacionExamenesViejos-FAMAF-Computacion/ExamenesViejos_SistemasOperativos_FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_MatematicaDiscreta1_FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_Algebra_FAMAF+2
ezeluduena5
ezeluduena/ExamenesViejos_AnalisisNumerico_FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_AnalisisNumerico_FAMAFExamenesViejos-FaMAF-Computacion/ExamenesViejos_Algebra_FaMAFExamenesViejos-FaMAF-Computacion/ExamenesViejos_SistemasOperativos_FaMAF+1
Conyweasley3
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_AlgoritmosYEstructurasDeDatos2_FaMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_IngenieriaDelSoftware1_FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_AlgoritmosYEstructurasDeDatos2_FAMAF
chenson20183
leanprover-community/mathlib4leanprover/cslibIvanRenison/cslib
AgU1312
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_AlgoritmosYEstructurasDeDatos2_FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_AnalisisMatematico2_Computacion_FaMAF
BoltonBailey2
leanprover-community/mathlib4leanprover/cslib
FAyrolo2
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_BasesDeDatos_FAMAFFAyrolo/ExamenesViejos_BasesDeDatos_FAMAF
Ferca82
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_RedesYSistemasDistribuidos_FAMAFExamenesViejos-FAMAF-Computacion/ExamenesViejos_AlgoritmosYEstructurasDeDatos2_FAMAF
Garmelon2
leanprover-community/mathlib4leanprover/cslib
Gonzalo-Canavesio2
ExamenesViejos-FaMAF-Computacion/ExamenesViejos_LenguajesFormalesYComputabilidad_FaMAFExamenesViejos-FaMAF-Computacion/ExamenesViejos_ModelosYSimulacion_FaMAF
Joaquinunc2
ExamenesViejos-FAMAF-Computacion/ExamenesViejos_ParadigmasDeProgramacion_FaMAFFAMAF-resources/Welcome
LiamSchilling2
leanprover-community/mathlib4leanprover/cslib
LucianoXu2
LucianoXu/D-HammerLucianoXu/cqotl
Michaillus2
leanprover-community/mathlib4Lean-Online-Judge/leanoj-problems
PieterCuijpers2
leanprover-community/mathlib4leanprover/cslib
Robertboy182
leanprover-community/mathlib4leanprover/cslib
SamuelSchlesinger2
leanprover-community/mathlib4leanprover/cslib

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