search

hashids / hashids.github.io

This is the old Hashids website. It is no longer maintained and has migrated over to Sqids.
https://sqids.org
206 stars 34 forks source link

Lean4 implementation #91

Closed kokic closed 1 year ago

kokic commented 1 year ago

I've implemented hashids in Lean4: source code.

This PR updates the src/data.json file. But when I try to install the tools needed for the build (like grunt) I run into difficulties. Grunt seems to depend on python2 and other complicated environments.

As a result, I can't run npm run production. A good practice is CI (Continuous Integration) via Github Actions to automatically build in the correct environment on every commit.

Thanks.

4kimov commented 1 year ago

@kokic Sorry for the super late reply. That's awesome! I'd love to add Lean to the new library. Are you able to port it over to the new algorithm? If yes, I'd love to add you as a maintainer - just let me know!

Closing since the project is moving.