viper

Stream: lean4

[Arthur Paulino]

Hi everyone!

I'm happy to announce my first piece of software meant for daily use built in Lean 4: viper.

It's a lightweight Python environment management tool as well as an interface for python and pip. I built it because I got tired of

$ which python
$ which python3
$ which pip
$ which pip3
$ conda activate
$ conda deactivate
$ python blah
$ pip bleh

Instead, viper centralizes everything with an unified API.
Thanks @Julian Berman for the venvs idea and for the guidance on child processes!

[Arthur Paulino]

Dear all,

I thought it would be nice to share with you that viper has successfully survived the test of time for me. I've been consistently using it for more than 3 years now.

I've just updated it to v4.24.0. If you also do Python development and use multiple environments like I do, you might want to give viper a try. The link is on the post above.

Peace :pray: