Библиотеки, написани на 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
vpnkit
Комплект инструменти за вграждане на VPN възможности във вашето приложение.
- 1.0k
- Apache License 2.0
catala
Език за програмиране за грамотна спецификация на закона за програмиране.
- 995
- Apache License 2.0
caramel
:candy: функционален език за изграждане на безопасни за типа, мащабируеми и поддържаеми приложения.
- 995
- Apache License 2.0