лоад балансер на локфри приоритетной очереди через kcas
прувер
с использованием https://github.com/RedPRL/yuujinchou
ну можно и так, да
Новая криптовалюта. 🤑🐫🤡
Статический анализатор или транспилятор чего-нибудь малоизвестного, но полезного
прувер с мультитредингом
https://ocamlverse.net/content/help_wanted.html
не очень много толку, нормализация плохо параллелится
жаль, тогда Verde под Coq до ума довести хорошо бы
Если не хочется писать компилятор, то вполне можно написать декомпилятор 😀 Задача на самом деле намного интереснее и сложнее, ну и хороших декомпиляторов, особенно с открытым кодом почти что нет. Плюс есть BAP, и почва для написания декомпилятора подготовлена.
Есть в Java, который декомпилирует apk файл. Можно исчерпать много идеи оттуда
Обсуждают сегодня