scp100129 апр 2019 в 14:32

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

10 мин

6.8K

PHP * Python * Децентрализованные сети * Информационная безопасность * Ненормальное программирование *

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

aleks_raiden 29 апр 2019 в 16:18

Вот это уже интересно, спасибо!

Compolomus 30 апр 2019 в 03:59

А php где?

scp1001 30 апр 2019 в 06:43

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

Зарегистрируйтесь на Хабре, чтобы оставить комментарий