Открыть список
Как стать автором
Обновить

Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python

Децентрализованные сетиИнформационная безопасностьНенормальное программированиеPHPPython
Всего голосов 17: ↑13 и ↓4 +9
Просмотры4.2K
Комментарии 3

Комментарии 3

Вот это уже интересно, спасибо!
Сегодня утром я выложил исходники на github в свободный доступ:
github.com/scp1001/hyperbox
Вся логика VM содержится в 2 файлах, hyperbox.php и hyperbox2.php
Только полноправные пользователи могут оставлять комментарии. Войдите, пожалуйста.