GitHub Explorer

by Alexey Ratnikov

GitHub Explorer

GitHub Explorer|TRENDING COMPARE|FEEDBACK

Back to search

Copyright (c) 2026 Alexey Ratnikov

jaalonso/jaalonso.github.io - GitHub Explorer | GitHub Explorer | Trending | Compare

jaalonso.github.io

jaalonso•PUBLIC

Índice de repositorios.

coqfunctional-programminghaskellisabelleleanlogic-programmingprologproof-assistant

Created on Aug 31, 2015

Updated on Apr 10, 2026

Stars

2

Forks

0

Watchers

2

Open Issues

0

Repository Health Score

🧡

65/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Active development - updated this week

30/30

100%

Community

2 stars, 0 forks

0/30

0%

Documentation

Has description, wiki

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

HTML

97.8%

Prolog

1.0%

Haskell

0.9%

CSS

0.3%

JavaScript

0.0%

XSLT

0.0%

Dependencies

No package.json found

This might not be a Node.js project

Top Contributors

1

jaalonso

User

2.0k

commits

Recent Commits

Reseña 10-Abril-2026

Jose A. Alonso•10 hours ago

2f81cf9View on GitHub

Lecturas 10-Abril-2026

Jose A. Alonso•13 hours ago

73eac88View on GitHub

Lecturas 6-Abril-2026

Jose A. Alonso•4 days ago

863151cView on GitHub

Lecturas 6-Abril-2026

Jose A. Alonso•4 days ago

21a9c5eView on GitHub

Lecturas 6-Abril-2026

Jose A. Alonso•4 days ago

fd2feaaView on GitHub

Lecturas 6-Abril-2026

Jose A. Alonso•4 days ago

47e4ea9View on GitHub

Lecturas 5-Abril-2026

Jose A. Alonso•5 days ago

3c36d1dView on GitHub

Lecturas 5-Abril-2026

Jose A. Alonso•5 days ago

8516866View on GitHub

Lecturas 5-Abril-2026

Jose A. Alonso•5 days ago

10e95f7View on GitHub

Lecturas 5-Abril-2026

Jose A. Alonso•5 days ago

2ec9926View on GitHub

Lecturas 5-Abril-2026

Jose A. Alonso•5 days ago

3c970b3View on GitHub

Lecturas 5-Abril-2026

Jose A. Alonso•5 days ago

5278c05View on GitHub

Lecturas 5-Abril-2026

Jose A. Alonso•5 days ago

98d7369View on GitHub

Lecturas 5-Abril-2026

Jose A. Alonso•5 days ago

dc272d8View on GitHub

Lecturas 5-Abril-2026

Jose A. Alonso•5 days ago

54a67cdView on GitHub

View all commits