ben
инструментарий для поддерживающих Debian
Рубрика: OCaml
Реализация языка ML и всё, что связано с ним.
caml2html
HTML и цветной синтаксис LaTeX из исходных файлов OCaml - исполняемый файл
camlmix
препроцессор, который преобразует текст со встроенным OCaml
cppo
cpp для OCaml
flexdll
Перекрестный компилятор OCaml на основе mingw - компоновщик FlexDLL
jbuilder
составная система сборки для проектов OCaml
labltk
Привязки OCaml к Tcl/Tk (исполняемые файлы)
libaac-tactics-ocaml
Coq тактика для рассуждения по модулю AC (плагин)
libaac-tactics-ocaml-dev
Coq тактика для аргументации по модулю AC (файлы devt)
libapron-ocaml
библиотеки времени выполнения для APRON (интерфейс OCaml)
libapron-ocaml-dev
библиотека абстрактной интерпретации (интерфейс OCaml)
libatd-ocaml
синтаксис для межъязыковых типов данных в OCaml - плагины
libatd-ocaml-dev
синтаксис для межъязыковых типов данных в OCaml - файлы разработки
libatdgen-ocaml
Генератор кода OCaml для biniou и JSON - плагины
libatdgen-ocaml-dev
Генератор кода OCaml для biniou и JSON - исполняемые файлы и файлы dev
libbase64-ocaml
Base64 кодирование и декодирование OCaml-библиотека (файлы времени выполнения)