veripy (pypi): Shorthand asserts for those who love predictable code but dont have time for writing every assert in the world.
Keywords: assert|shorthand|contract|require|veripy