
screenpipe
YC (S26) | Open Computer History | Непрерывно записывайте работу на компьютере вашей компании, картируйте свои рабочие процессы, помогайте находить…

YC (S26) | Open Computer History | Непрерывно записывайте работу на компьютере вашей компании, картируйте свои рабочие процессы, помогайте находить…

Кэш CVE официального списка CVE в формате CVE JSON 5

😱 A curated list of amazingly awesome OSINT

Высокопроизводительный SMT-решатель для автоматического доказательства теорем, решения ограничений и верификации программ. Поддерживает множество…

Сообщество, наиболее полный и постоянно обновляемый индекс исследований по большим языковым моделям для обнаружения уязвимостей в программном…

Автоматизированное тестирование для поиска логических ошибок и ошибок производительности в системах баз данных.

nextpnr портативный инструмент для размещения и трассировки FPGA


Уровни цепочки поставок для программных артефактов

Символический инструмент верификации для протоколов безопасности, использующий перезапись мультимножеств и решение ограничений для доказательства…

Кураторская коллекция извлечённых системных промптов из крупных ИИ-чатботов, включая Claude, ChatGPT, Gemini, Grok и Copilot. Регулярно обновляется с…

Publishes per-build diffs of iOS, iPadOS, and macOS IPSW firmware releases, enabling binary-level comparison of system components across versions and…

Книга в процессе написания о ядре Linux и его внутренностях.

A list of known attacks against Bitcoin / crypto asset owning entities that occurred in meatspace.

Продвинутая библиотека для фаззинга - Соберите свой фаззер на Rust! Масштабируется на несколько ядер и машин. Для Windows, Android, MacOS, Linux,…

Девиртуализирует секции .tvm0 виртуальной машины Tencent: поднимает обработчики VM до листингов гостевого уровня и LLVM IR, восстанавливает CFG и…

Полностью автоматическое снятие цензуры для языковых моделей

Справочные ресурсы для программ вознаграждения за уязвимости Google, включая уровни доменов, списки уровней OSS-репозиториев и примеры…