» OCaml

Рубрика: OCaml

Реализация языка ML и всё, что связано с ним.

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

ben

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

onstartup.ru

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

caml2html

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

onstartup.ru

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

camlmix

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

onstartup.ru

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

flexdll

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

onstartup.ru

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

jbuilder

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

onstartup.ru

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

labltk

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

onstartup.ru

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

libaac-tactics-ocaml

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

onstartup.ru

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

libaac-tactics-ocaml-dev

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

onstartup.ru

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

libapron-ocaml

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

onstartup.ru