GitHub repository: quarkslab/tritondse
Primary language: Python
Description: Triton-based DSE library with loading and exploration capabilities (and more!)