ben — инструментарий для поддерживающих Debian

ben

Инструментарий для поддерживающих Debian.

onstartup.ru

caml2html — HTML и цветной синтаксис LaTeX из исходных файлов OCaml - исполняемый файл

HTML и цветной синтаксис LaTeX из исходных файлов OCaml - исполняемый файл.

onstartup.ru

camlmix — препроцессор, который преобразует текст со встроенным OCaml

Препроцессор, который преобразует текст со встроенным OCaml.

onstartup.ru

cppo — cpp для OCaml

Cpp для OCaml.

onstartup.ru

flexdll — Перекрестный компилятор OCaml на основе mingw - компоновщик FlexDLL

Перекрестный компилятор OCaml на основе mingw - компоновщик FlexDLL.

onstartup.ru

jbuilder — составная система сборки для проектов OCaml

Составная система сборки для проектов OCaml.

onstartup.ru

labltk — Привязки OCaml к Tcl/Tk (исполняемые файлы)

Привязки OCaml к Tcl/Tk (исполняемые файлы).

onstartup.ru

libaac-tactics-ocaml — Coq тактика для рассуждения по модулю AC (плагин)

Coq тактика для рассуждения по модулю AC (плагин).

onstartup.ru

libaac-tactics-ocaml-dev — Coq тактика для аргументации по модулю AC (файлы devt)

Coq тактика для аргументации по модулю AC (файлы devt).

onstartup.ru

libapron-ocaml — библиотеки времени выполнения для APRON (интерфейс OCaml)

Библиотеки времени выполнения для APRON (интерфейс OCaml).

onstartup.ru