cvc5

Extra Credit builds an outline of cvc5's docs the first time your work uses it. Until then, start at the official documentation.

• jupyter-server-proxy A Jupyter server extension to run additional processes and proxy to them that comes bundled JupyterLab extension to launch pre-defined proce
• condense-json Python function for condensing JSON using replacement strings
• promql-parser
• scikit-fem Simple finite element assemblers
• frida Dynamic instrumentation toolkit for developers, reverse-engineers, and security researchers
• verboselogs Verbose logging level for Python's logging module
• allure-behave Allure behave integration
• requests-unixsocket2 Use requests to talk HTTP via a UNIX domain socket
• liger-kernel Efficient Triton kernels for LLM Training
• ringcentral RingCentral Python SDK
• einshape DSL-based reshaping library for JAX and other frameworks
• clipboard A cross-platform clipboard read/write library for Python.