Jupyter in the terminal
Contents:
Applications
API Reference
Extract the first integer from a string.