169 похожих чатов

Есть у кого-то идеи для пет-проекта на OCaml?

12 ответов

4 просмотра

лоад балансер на локфри приоритетной очереди через kcas

прувер

Siegmentation Fault
прувер

с использованием https://github.com/RedPRL/yuujinchou

Новая криптовалюта. 🤑🐫🤡

Статический анализатор или транспилятор чего-нибудь малоизвестного, но полезного

прувер с мультитредингом

https://ocamlverse.net/content/help_wanted.html

redbeard
прувер с мультитредингом

не очень много толку, нормализация плохо параллелится

Alex Gryzlov
не очень много толку, нормализация плохо параллели...

жаль, тогда Verde под Coq до ума довести хорошо бы

Если не хочется писать компилятор, то вполне можно написать декомпилятор 😀 Задача на самом деле намного интереснее и сложнее, ну и хороших декомпиляторов, особенно с открытым кодом почти что нет. Плюс есть BAP, и почва для написания декомпилятора подготовлена.

Ivan
Если не хочется писать компилятор, то вполне можно...

Есть в Java, который декомпилирует apk файл. Можно исчерпать много идеи оттуда

Похожие вопросы

Обсуждают сегодня

Всем привет! Имеется функция: function IsValidChar(ch: UTF8Char): Boolean; var i: Integer; ValidChars: AnsiString; begin ValidChars := 'abcdefghijklmnopqrstuvwxyzABCDE...
Евгений
44
И никого не интересует какие пакеты кто использует. ((% Заходишь на сайт симфони и видишь поддержку Украины - по законам РФ это ж экстремизм. Только никто не отказывается от с...
Am Ambrion
11
лучше скажите, причём тут паскаль?
Alexey Kulakov
36
Чтобы перехватить все нажимания буков на форме, надо хук ставить? Пробовал на форме ОнКейДаун, оно ловит клаву если фокус не на компоненте с вводом текста
Serjone
15
Народ! Впервые клиенту пришло письмо от РКН, у вас, дескать, есть яндекс метрика, а нигде не написано, что вы ее юзаете. Никто не сталкивался?
Sasha Beep
14
Всем привет! вывожу на общей стр дочерние ресурсыв каждом ресурсе галерея, и первая фотка должна выводиться на общей [!DocLister? &prepare=photo !]
Alekso
12
А можно вопрос? Мне сегодня сказали что у меня функция (которая просто заполняет массив значениями) не правильная void Full(double * arr, int n) { for (int i = 0; i < n; i...
† C E †
7
День добрый, подскажите пожалуйста, есть ли какой-то способ сказать ребару не компилировать определённое приложение? Всю доку их перечиатл ничего подобного не нашёл
Кирилл
14
Добрый вечер. Хочу чтобы у меня в классе поле было функцией, которая возвращает строку. Делаю так: interface ... TGetOutPath = function : String of object; ... protec...
Kirill Filippenok
12
Всем привет. Возможно ли выполнить код ahk без интерпритатора? Имея только скомпилированный ехе файл? Например как функция eval
proxy
6
Карта сайта