Библиотеки, написанные на OCaml
flow
Добавляет статическую типизацию в JavaScript для повышения производительности разработчиков и качества кода.
- 22.0k
- MIT
semgrep
Легкий статический анализ для многих языков. Найдите варианты ошибок с шаблонами, похожими на исходный код.
- 8.5k
- GNU Lesser General Public License v3.0 only
ocaml
Основная система OCaml: компиляторы, система выполнения, базовые библиотеки.
- 4.6k
- GNU General Public License v3.0
coq
Coq — это формальная система управления доказательствами. Он предоставляет формальный язык для написания математических определений, исполняемых алгоритмов и теорем вместе со средой для полуинтерактивной разработки доказательств с машинной проверкой.
- 4.3k
- GNU Lesser General Public License v3.0 only
magic-trace
magic-trace собирает и отображает в высоком разрешении следы того, что делает процесс.
- 4.1k
- MIT
pfff
Инструменты для анализа кода, визуализации или преобразования исходного кода с сохранением стиля.
- 2.4k
- GNU General Public License v3.0
comby
Инструмент перезаписи кода для структурного поиска и замены, который поддерживает почти все языки.
- 2.1k
- Apache License 2.0
mina
Mina — это новая криптовалюта с блокчейном постоянного размера, улучшающая масштабирование при сохранении децентрализации и безопасности. (по MinaProtocol).
- 1.8k
- Apache License 2.0
bincat
Статический анализатор двоичного кода с интеграцией IDA. Выполняет анализ ценности и дефекта, реконструкцию типа, обнаружение использования после освобождения и двойного освобождения.
- 1.5k
opam
opam — менеджер пакетов на основе исходного кода. Он поддерживает несколько одновременных установок компилятора, гибкие ограничения пакетов и удобный для Git рабочий процесс разработки.
- 1.1k
- GNU General Public License v3.0
SATySFi
Статическая типизированная функциональная система набора текста.
- 1.1k
- GNU Lesser General Public License v3.0 only
catala
Язык программирования для грамотной спецификации законов программирования.
- 995
- Apache License 2.0
caramel
:candy: функциональный язык для создания типобезопасных, масштабируемых и удобных в сопровождении приложений.
- 995
- Apache License 2.0