51. ManticoreUIThe Manticore User Interface with plugins for Binary Ninja and Ghidra
57. pip-auditAudits Python environments and dependency trees for known vulnerabilities
58. ficklingA Python pickling decompiler and static analyzer
59. reverieAn efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
60. biscBorrowed Instructions Synthetic Computation