Библиотеки, написанные на OCaml

flow

Добавляет статическую типизацию в JavaScript для повышения производительности разработчиков и качества кода.
  • 22.0k
  • MIT

infer

Статический анализатор для Java, C, C++ и Objective-C.
  • 14.2k
  • MIT

reason

Простой, быстрый и безопасный код, использующий экосистемы JavaScript и OCaml.
  • 9.9k
  • MIT

semgrep

Легкий статический анализ для многих языков. Найдите варианты ошибок с шаблонами, похожими на исходный код.
  • 8.5k
  • GNU Lesser General Public License v3.0 only

pyre-check

Эффективная проверка типов для python..
  • 6.4k
  • MIT

rescript-compiler

Компилятор для ReScript..
  • 6.2k
  • GNU General Public License v3.0

google-drive-ocamlfuse

Файловая система FUSE через Google Диск.
  • 5.1k
  • MIT

ocaml

Основная система OCaml: компиляторы, система выполнения, базовые библиотеки.
  • 4.6k
  • GNU General Public License v3.0

coq

Coq — это формальная система управления доказательствами. Он предоставляет формальный язык для написания математических определений, исполняемых алгоритмов и теорем вместе со средой для полуинтерактивной разработки доказательств с машинной проверкой.
  • 4.3k
  • GNU Lesser General Public License v3.0 only

Batsh

Язык, который компилируется в Bash и Windows Batch.
  • 4.2k

magic-trace

magic-trace собирает и отображает в высоком разрешении следы того, что делает процесс.
  • 4.1k
  • MIT

unison

Синхронизатор файлов Unison (от bcpierce00).
  • 3.1k
  • GNU General Public License v3.0 only

pfff

Инструменты для анализа кода, визуализации или преобразования исходного кода с сохранением стиля.
  • 2.4k
  • GNU General Public License v3.0

mirage

MirageOS — это библиотечная операционная система, которая создает unikernels.
  • 2.2k
  • ISC

comby

Инструмент перезаписи кода для структурного поиска и замены, который поддерживает почти все языки.
  • 2.1k
  • Apache License 2.0

bap

Платформа бинарного анализа.
  • 1.9k
  • MIT

mina

Mina — это новая криптовалюта с блокчейном постоянного размера, улучшающая масштабирование при сохранении децентрализации и безопасности. (по MinaProtocol).
  • 1.8k
  • Apache License 2.0

bincat

Статический анализатор двоичного кода с интеграцией IDA. Выполняет анализ ценности и дефекта, реконструкцию типа, обнаружение использования после освобождения и двойного освобождения.
  • 1.5k

merlin

Контекстно-зависимое завершение для OCaml в Vim и Emacs.
  • 1.5k
  • MIT

dune

Компонуемая система сборки для OCaml..
  • 1.4k
  • MIT

plzoo

Зоопарк языков программирования.
  • 1.3k
  • MIT

dream

Аккуратная полнофункциональная веб-инфраструктура.
  • 1.2k
  • MIT

opam

opam — менеджер пакетов на основе исходного кода. Он поддерживает несколько одновременных установок компилятора, гибкие ограничения пакетов и удобный для Git рабочий процесс разработки.
  • 1.1k
  • GNU General Public License v3.0

book

V2 Real World OCaml (от realworldocaml).
  • 1.1k
  • GNU General Public License v3.0

owl

Сова — OCaml Scientific Computing @ http://ocaml.xyz.
  • 1.1k
  • MIT

SATySFi

Статическая типизированная функциональная система набора текста.
  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

Набор инструментов для внедрения возможностей VPN в ваше приложение.
  • 1.0k
  • Apache License 2.0

catala

Язык программирования для грамотной спецификации законов программирования.
  • 995
  • Apache License 2.0

caramel

:candy: функциональный язык для создания типобезопасных, масштабируемых и удобных в сопровождении приложений.
  • 995
  • Apache License 2.0

js_of_ocaml

Компилятор из OCaml в Javascript..
  • 853
  • GNU General Public License v3.0