GitHub Explorer

by Alexey Ratnikov

GitHub Explorer

GitHub Explorer|TRENDING COMPARE|FEEDBACK

Back to search

Copyright (c) 2026 Alexey Ratnikov

esope/fzip_coq - GitHub Explorer | GitHub Explorer | Trending | Compare

fzip_coq

esope•PUBLIC

Coq formalization of the Fzip language

Created on Jan 11, 2021

Updated on Jan 11, 2021

Stars

0

Forks

0

Watchers

0

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

0 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

Coq

95.9%

Makefile

1.3%

OCaml

0.9%

CSS

0.9%

HTML

0.8%

Python

0.1%

Roff

0.1%

Dependencies

No package.json found

This might not be a Node.js project

Top Contributors

1

esope

User

277

commits

Recent Commits

examples (complete)

Benoît Montagu•15 years ago

ec2ba80View on GitHub

more examples

Benoît Montagu•15 years ago

d91a5baView on GitHub

renameT

Benoît Montagu•15 years ago

590beaeView on GitHub

more examples (ongoing)

Benoît Montagu•15 years ago

986ac4fView on GitHub

makefile

Benoît Montagu•15 years ago

5fed290View on GitHub

makefile

Benoît Montagu•15 years ago

d57f118View on GitHub

makefile

Benoît Montagu•15 years ago

2ff208dView on GitHub

makefile

Benoît Montagu•15 years ago

932a857View on GitHub

makefile

Benoît Montagu•15 years ago

99c2654View on GitHub

README

Benoît Montagu•15 years ago

0de1bb3View on GitHub

documentation

Benoît Montagu•15 years ago

0668032View on GitHub

hgignore

Benoît Montagu•15 years ago

fd513bbView on GitHub

ocamldot: adding urls

Benoît Montagu•15 years ago

af44aeeView on GitHub

adding ocamldot

Benoît Montagu•15 years ago

35fcbcbView on GitHub

hide pragmas

Benoît Montagu•15 years ago

e0e681cView on GitHub

View all commits