Библиотеки, написани на 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 Drive.
  • 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 е библиотечна операционна система, която създава едноядро.
  • 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