GitHub Explorer

by Alexey Ratnikov

GitHub Explorer

GitHub Explorer|TRENDING COMPARE|FEEDBACK

Back to search

Copyright (c) 2026 Alexey Ratnikov

Zeta611/ebproofx - GitHub Explorer | GitHub Explorer | Trending | Compare

ebproofx

Zeta611•PUBLIC

ebproof extended

ebproofformal-proofslatexlatex-packageproof-treestabularraytex

LaTeX Project Public License v1.3c

Created on Jan 11, 2024

Updated on Feb 9, 2026

Stars

6

Forks

1

Watchers

6

Open Issues

1

Repository Health Score

❤️

40/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Slow updates - updated within 3 months

10/30

33%

Community

6 stars, 1 forks

0/30

0%

Documentation

Has description, wiki, license

20/20

100%

Maintenance

16.7% issue ratio

10/20

50%

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

Languages

TeX

99.9%

Lua

0.1%

Issues Analytics

1

Total Issues

All time

1

Open

100% of total

0

Closed

0% of total

0h

Avg Close Time

Fast response ✅

Issues Activity: Last 6 months

Top Labels

Hottest Issues

1

#1 Width of rule seems too short

bugenhancementhelp wanted

1

open

Dependencies

No package.json found

This might not be a Node.js project

Top Contributors

1

Zeta611

User

2

commits

Recent Commits

:memo: Update documentation

Jay Lee•2 years ago

6c0ba4aView on GitHub

:tada: Initial commit

Jay Lee•2 years ago

f5324f1View on GitHub

View all commits