jonaprieto

jonaprieto

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
85 Stars
9 Forks
6 Watchers

Repositories (2)

flask-ponywhoosh jonaprieto/flask-ponywhoosh Python

A Flask full-text search engine

83
precommit-lean jonaprieto/precommit-lean Python

Private pre-commit hooks for Lean 4 repositories

2