GitHub Explorer

by Alexey Ratnikov

GitHub Explorer

GitHub Explorer|TRENDING COMPARE|FEEDBACK

Back to search

Copyright (c) 2026 Alexey Ratnikov

ngrislain/lean-adventofcode-2025 - GitHub Explorer | GitHub Explorer | Trending | Compare

lean-adventofcode-2025

ngrislain•PUBLIC

Advent of Code 2025 in Lean

Apache License 2.0

Created on Dec 1, 2025

Updated on Dec 20, 2025

Stars

4

Forks

0

Watchers

4

Open Issues

0

Repository Health Score

❤️

35/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Community

4 stars, 0 forks

0/30

0%

Documentation

Has description, license

15/20

75%

Maintenance

0.0% issue ratio

20/20

100%

Health score is calculated based on activity, community engagement, documentation quality, and maintenance practices

Languages

Lean

100.0%

Dependencies

No package.json found

This might not be a Node.js project

Top Contributors

1

ngrislain

User

27

commits

Recent Commits

Ok

Nicolas Grislain•3 months ago

c4272a9View on GitHub

Day 12

Nicolas Grislain•3 months ago

37ec407View on GitHub

ok

Nicolas Grislain•3 months ago

b70c1eaView on GitHub

Day 10

Nicolas Grislain•3 months ago

dc378d0View on GitHub

ok

Nicolas Grislain•3 months ago

76bdee1View on GitHub

ok

Nicolas Grislain•3 months ago

7969cefView on GitHub

Day 9

Nicolas Grislain•3 months ago

abe40c6View on GitHub

Upgrade

Nicolas Grislain•3 months ago

c70c1bdView on GitHub

Day 8

Nicolas Grislain•4 months ago

a4d1003View on GitHub

ok

Nicolas Grislain•4 months ago

3e4858dView on GitHub

Day 5

Nicolas Grislain•4 months ago

67402d1View on GitHub

ok

Nicolas Grislain•4 months ago

b1bd709View on GitHub

ok

Nicolas Grislain•4 months ago

392cbf2View on GitHub

Almost 1

Nicolas Grislain•4 months ago

4de2211View on GitHub

Day 3

Nicolas Grislain•4 months ago

75b0243View on GitHub

View all commits