Opam Package rml.1.09.06

Package info

opam-namerml
opam-version1.09.06
synopsisReactiveML: a programming language for implementing interactive systems
description ReactiveML is based on the synchronous reactive model embedded in an ML language (here a subset of OCaml). It provides synchronous parallel composition and dynamic features like the dynamic creation of processes. In ReactiveML, the reactive model is integrated at the language level (not as a library) which leads to safer and more natural programming.
authors
  • Louis Mandel louis@reactiveml.org
homepagehttp://reactiveml.org
deps (2)
revdeps (1)
metas(0)
libraries (1)

Package modules

Package sources

rml

Package files

lib/rml/lk/weak.rzi
lib/rml/lk/unix.rzi
lib/rml/lk/thread/rml_async_body.rzi
lib/rml/lk/thread/rml_async.rzi
lib/rml/lk/thread
lib/rml/lk/sys.rzi
lib/rml/lk/string.rzi
lib/rml/lk/stream.rzi
lib/rml/lk/str.rzi
lib/rml/lk/stdlib.rzi
lib/rml/lk/stack.rzi
lib/rml/lk/sort.rzi
lib/rml/lk/sig_env.cmx
lib/rml/lk/sig_env.cmi
lib/rml/lk/rmllib.cmxa
lib/rml/lk/rmllib.cma
lib/rml/lk/rmllib.a
lib/rml/lk/rml_process_manager.rzi
lib/rml/lk/rml_machine_hook_unix.cmx
lib/rml/lk/rml_machine_hook_unix.cmi
lib/rml/lk/rml_machine_hook.cmx
lib/rml/lk/rml_machine_hook.cmi
lib/rml/lk/rml_machine.cmx
lib/rml/lk/rml_machine.cmi
lib/rml/lk/rml_list.rzi
lib/rml/lk/rml_list.cmi
lib/rml/lk/rml_async_body.cmi
lib/rml/lk/rml_async.cmi
lib/rml/lk/random.rzi
lib/rml/lk/queue.rzi
lib/rml/lk/printf.rzi
lib/rml/lk/printexc.rzi
lib/rml/lk/parsing.rzi
lib/rml/lk/obj.rzi
lib/rml/lk/nativeint.rzi
lib/rml/lk/marshal.rzi
lib/rml/lk/luc4ocaml_nolbl.rzi
lib/rml/lk/luc4ocaml.rzi
lib/rml/lk/lk_interpreter.cmi
lib/rml/lk/lk_implem.cmx
lib/rml/lk/lk_implem.cmi
lib/rml/lk/list.rzi
lib/rml/lk/lexing.rzi
lib/rml/lk/lazy.rzi
lib/rml/lk/int64.rzi
lib/rml/lk/int32.rzi
lib/rml/lk/implem_lk_record.cmx
lib/rml/lk/implem_lk_record.cmi
lib/rml/lk/hashtbl.rzi
lib/rml/lk/graphics.rzi
lib/rml/lk/genlex.rzi
lib/rml/lk/gc.rzi
lib/rml/lk/format.rzi
lib/rml/lk/filename.rzi
lib/rml/lk/digest.rzi
lib/rml/lk/complex.rzi
lib/rml/lk/char.rzi
lib/rml/lk/camlinternalBigarray.rzi
lib/rml/lk/callback.rzi
lib/rml/lk/bytes.rzi
lib/rml/lk/buffer.rzi
lib/rml/lk/array.rzi
lib/rml/lk/arg.rzi
lib/rml/lk
lib/rml/lco_rewrite/weak.rzi
lib/rml/lco_rewrite/unix.rzi
lib/rml/lco_rewrite/thread/rml_async_body.rzi
lib/rml/lco_rewrite/thread/rml_async.rzi
lib/rml/lco_rewrite/thread
lib/rml/lco_rewrite/sys.rzi
lib/rml/lco_rewrite/string.rzi
lib/rml/lco_rewrite/stream.rzi
lib/rml/lco_rewrite/str.rzi
lib/rml/lco_rewrite/stdlib.rzi
lib/rml/lco_rewrite/stack.rzi
lib/rml/lco_rewrite/sort.rzi
lib/rml/lco_rewrite/sig_env.cmx
lib/rml/lco_rewrite/sig_env.cmi
lib/rml/lco_rewrite/rmllib.cmxa
lib/rml/lco_rewrite/rmllib.cma
lib/rml/lco_rewrite/rmllib.a
lib/rml/lco_rewrite/rml_process_manager.rzi
lib/rml/lco_rewrite/rml_machine_hook_unix.cmx
lib/rml/lco_rewrite/rml_machine_hook_unix.cmi
lib/rml/lco_rewrite/rml_machine_hook.cmx
lib/rml/lco_rewrite/rml_machine_hook.cmi
lib/rml/lco_rewrite/rml_machine.cmx
lib/rml/lco_rewrite/rml_machine.cmi
lib/rml/lco_rewrite/rml_list.rzi
lib/rml/lco_rewrite/rml_list.cmi
lib/rml/lco_rewrite/rml_async_body.cmi
lib/rml/lco_rewrite/rml_async.cmi
lib/rml/lco_rewrite/random.rzi
lib/rml/lco_rewrite/queue.rzi
lib/rml/lco_rewrite/printf.rzi
lib/rml/lco_rewrite/printexc.rzi
lib/rml/lco_rewrite/parsing.rzi
lib/rml/lco_rewrite/obj.rzi
lib/rml/lco_rewrite/nativeint.rzi
lib/rml/lco_rewrite/marshal.rzi
lib/rml/lco_rewrite/luc4ocaml_nolbl.rzi
lib/rml/lco_rewrite/luc4ocaml.rzi
lib/rml/lco_rewrite/list.rzi
lib/rml/lco_rewrite/lexing.rzi
lib/rml/lco_rewrite/lco_rewrite.cmx
lib/rml/lco_rewrite/lco_rewrite.cmi
lib/rml/lco_rewrite/lco_interpreter.cmi
lib/rml/lco_rewrite/lazy.rzi
lib/rml/lco_rewrite/int64.rzi
lib/rml/lco_rewrite/int32.rzi
lib/rml/lco_rewrite/implem_lco_rewrite_record.cmx
lib/rml/lco_rewrite/implem_lco_rewrite_record.cmi
lib/rml/lco_rewrite/hashtbl.rzi
lib/rml/lco_rewrite/graphics.rzi
lib/rml/lco_rewrite/genlex.rzi
lib/rml/lco_rewrite/gc.rzi
lib/rml/lco_rewrite/format.rzi
lib/rml/lco_rewrite/filename.rzi
lib/rml/lco_rewrite/digest.rzi
lib/rml/lco_rewrite/complex.rzi
lib/rml/lco_rewrite/char.rzi
lib/rml/lco_rewrite/camlinternalBigarray.rzi
lib/rml/lco_rewrite/callback.rzi
lib/rml/lco_rewrite/bytes.rzi
lib/rml/lco_rewrite/buffer.rzi
lib/rml/lco_rewrite/array.rzi
lib/rml/lco_rewrite/arg.rzi
lib/rml/lco_rewrite
lib/rml/lco_n/weak.rzi
lib/rml/lco_n/unix.rzi
lib/rml/lco_n/thread/rml_async_body.rzi
lib/rml/lco_n/thread/rml_async.rzi
lib/rml/lco_n/thread
lib/rml/lco_n/sys.rzi
lib/rml/lco_n/string.rzi
lib/rml/lco_n/stream.rzi
lib/rml/lco_n/str.rzi
lib/rml/lco_n/stdlib.rzi
lib/rml/lco_n/stack.rzi
lib/rml/lco_n/sort.rzi
lib/rml/lco_n/sig_env.cmx
lib/rml/lco_n/sig_env.cmi
lib/rml/lco_n/rmllib.cmxa
lib/rml/lco_n/rmllib.cma
lib/rml/lco_n/rmllib.a
lib/rml/lco_n/rml_process_manager.rzi
lib/rml/lco_n/rml_machine_hook_unix.cmx
lib/rml/lco_n/rml_machine_hook_unix.cmi
lib/rml/lco_n/rml_machine_hook.cmx
lib/rml/lco_n/rml_machine_hook.cmi
lib/rml/lco_n/rml_machine.cmx
lib/rml/lco_n/rml_machine.cmi
lib/rml/lco_n/rml_list.rzi
lib/rml/lco_n/rml_list.cmi
lib/rml/lco_n/rml_async_body.cmi
lib/rml/lco_n/rml_async.cmi
lib/rml/lco_n/random.rzi
lib/rml/lco_n/queue.rzi
lib/rml/lco_n/printf.rzi
lib/rml/lco_n/printexc.rzi
lib/rml/lco_n/parsing.rzi
lib/rml/lco_n/obj.rzi
lib/rml/lco_n/nativeint.rzi
lib/rml/lco_n/marshal.rzi
lib/rml/lco_n/luc4ocaml_nolbl.rzi
lib/rml/lco_n/luc4ocaml.rzi
lib/rml/lco_n/list.rzi
lib/rml/lco_n/lexing.rzi
lib/rml/lco_n/lco_interpreter.cmi
lib/rml/lco_n/lco_ctrl_tree_n.cmx
lib/rml/lco_n/lco_ctrl_tree_n.cmi
lib/rml/lco_n/lazy.rzi
lib/rml/lco_n/int64.rzi
lib/rml/lco_n/int32.rzi
lib/rml/lco_n/implem_lco_ctrl_tree_n_record.cmx
lib/rml/lco_n/implem_lco_ctrl_tree_n_record.cmi
lib/rml/lco_n/hashtbl.rzi
lib/rml/lco_n/graphics.rzi
lib/rml/lco_n/genlex.rzi
lib/rml/lco_n/gc.rzi
lib/rml/lco_n/format.rzi
lib/rml/lco_n/filename.rzi
lib/rml/lco_n/digest.rzi
lib/rml/lco_n/complex.rzi
lib/rml/lco_n/char.rzi
lib/rml/lco_n/camlinternalBigarray.rzi
lib/rml/lco_n/callback.rzi
lib/rml/lco_n/bytes.rzi
lib/rml/lco_n/buffer.rzi
lib/rml/lco_n/array.rzi
lib/rml/lco_n/arg.rzi
lib/rml/lco_n
lib/rml/lco_class/weak.rzi
lib/rml/lco_class/unix.rzi
lib/rml/lco_class/thread/rml_async_body.rzi
lib/rml/lco_class/thread/rml_async.rzi
lib/rml/lco_class/thread
lib/rml/lco_class/sys.rzi
lib/rml/lco_class/string.rzi
lib/rml/lco_class/stream.rzi
lib/rml/lco_class/str.rzi
lib/rml/lco_class/stdlib.rzi
lib/rml/lco_class/stack.rzi
lib/rml/lco_class/sort.rzi
lib/rml/lco_class/sig_env.cmx
lib/rml/lco_class/sig_env.cmi
lib/rml/lco_class/rmllib.cmxa
lib/rml/lco_class/rmllib.cma
lib/rml/lco_class/rmllib.a
lib/rml/lco_class/rml_process_manager.rzi
lib/rml/lco_class/rml_machine_hook_unix.cmx
lib/rml/lco_class/rml_machine_hook_unix.cmi
lib/rml/lco_class/rml_machine_hook.cmx
lib/rml/lco_class/rml_machine_hook.cmi
lib/rml/lco_class/rml_machine.cmx
lib/rml/lco_class/rml_machine.cmi
lib/rml/lco_class/rml_list.rzi
lib/rml/lco_class/rml_list.cmi
lib/rml/lco_class/rml_async_body.cmi
lib/rml/lco_class/rml_async.cmi
lib/rml/lco_class/random.rzi
lib/rml/lco_class/queue.rzi
lib/rml/lco_class/printf.rzi
lib/rml/lco_class/printexc.rzi
lib/rml/lco_class/parsing.rzi
lib/rml/lco_class/obj.rzi
lib/rml/lco_class/nativeint.rzi
lib/rml/lco_class/marshal.rzi
lib/rml/lco_class/luc4ocaml_nolbl.rzi
lib/rml/lco_class/luc4ocaml.rzi
lib/rml/lco_class/list.rzi
lib/rml/lco_class/lexing.rzi
lib/rml/lco_class/lco_interpreter.cmi
lib/rml/lco_class/lco_ctrl_tree.cmx
lib/rml/lco_class/lco_ctrl_tree.cmi
lib/rml/lco_class/lazy.rzi
lib/rml/lco_class/int64.rzi
lib/rml/lco_class/int32.rzi
lib/rml/lco_class/implem_lco_ctrl_tree_class.cmx
lib/rml/lco_class/implem_lco_ctrl_tree_class.cmi
lib/rml/lco_class/hashtbl.rzi
lib/rml/lco_class/graphics.rzi
lib/rml/lco_class/genlex.rzi
lib/rml/lco_class/gc.rzi
lib/rml/lco_class/format.rzi
lib/rml/lco_class/filename.rzi
lib/rml/lco_class/digest.rzi
lib/rml/lco_class/complex.rzi
lib/rml/lco_class/char.rzi
lib/rml/lco_class/camlinternalBigarray.rzi
lib/rml/lco_class/callback.rzi
lib/rml/lco_class/bytes.rzi
lib/rml/lco_class/buffer.rzi
lib/rml/lco_class/array.rzi
lib/rml/lco_class/arg.rzi
lib/rml/lco_class
lib/rml/lco/weak.rzi
lib/rml/lco/unix.rzi
lib/rml/lco/toplevel/rmltop_reactive_machine.cmo
lib/rml/lco/toplevel/rmltop_reactive_machine.cmi
lib/rml/lco/toplevel/rmltop_main.cmo
lib/rml/lco/toplevel/rmltop_main.cmi
lib/rml/lco/toplevel/rmltop_machine_body.cmo
lib/rml/lco/toplevel/rmltop_machine_body.cmi
lib/rml/lco/toplevel/rmltop_lexer.cmo
lib/rml/lco/toplevel/rmltop_implem.cmo
lib/rml/lco/toplevel/rmltop_implem.cmi
lib/rml/lco/toplevel/rmltop_global.rzi
lib/rml/lco/toplevel/rmltop_global.cmo
lib/rml/lco/toplevel/rmltop_global.cmi
lib/rml/lco/toplevel/rmltop_directives.cmo
lib/rml/lco/toplevel/rmltop_directives.cmi
lib/rml/lco/toplevel/rmltop_controller.rzi
lib/rml/lco/toplevel/rmltop_controller.cmo
lib/rml/lco/toplevel/rmltop_controller.cmi
lib/rml/lco/toplevel/rmltop.cmo
lib/rml/lco/toplevel/rmltop.cmi
lib/rml/lco/toplevel
lib/rml/lco/thread/rml_async_body.rzi
lib/rml/lco/thread/rml_async.rzi
lib/rml/lco/thread
lib/rml/lco/sys.rzi
lib/rml/lco/string.rzi
lib/rml/lco/stream.rzi
lib/rml/lco/str.rzi
lib/rml/lco/stdlib.rzi
lib/rml/lco/stack.rzi
lib/rml/lco/sort.rzi
lib/rml/lco/sig_env.cmx
lib/rml/lco/sig_env.cmi
lib/rml/lco/rmllib.cmxa
lib/rml/lco/rmllib.cma
lib/rml/lco/rmllib.a
lib/rml/lco/rml_process_manager.rzi
lib/rml/lco/rml_machine_hook_unix.cmx
lib/rml/lco/rml_machine_hook_unix.cmi
lib/rml/lco/rml_machine_hook.cmx
lib/rml/lco/rml_machine_hook.cmi
lib/rml/lco/rml_machine.cmx
lib/rml/lco/rml_machine.cmi
lib/rml/lco/rml_list.rzi
lib/rml/lco/rml_list.cmi
lib/rml/lco/rml_async_body.cmi
lib/rml/lco/rml_async.cmi
lib/rml/lco/random.rzi
lib/rml/lco/queue.rzi
lib/rml/lco/printf.rzi
lib/rml/lco/printexc.rzi
lib/rml/lco/parsing.rzi
lib/rml/lco/obj.rzi
lib/rml/lco/nativeint.rzi
lib/rml/lco/marshal.rzi
lib/rml/lco/luc4ocaml_nolbl.rzi
lib/rml/lco/luc4ocaml.rzi
lib/rml/lco/list.rzi
lib/rml/lco/lexing.rzi
lib/rml/lco/lco_interpreter.cmi
lib/rml/lco/lco_ctrl_tree.cmx
lib/rml/lco/lco_ctrl_tree.cmi
lib/rml/lco/lazy.rzi
lib/rml/lco/int64.rzi
lib/rml/lco/int32.rzi
lib/rml/lco/implem_lco_ctrl_tree_record.cmx
lib/rml/lco/implem_lco_ctrl_tree_record.cmi
lib/rml/lco/hashtbl.rzi
lib/rml/lco/graphics.rzi
lib/rml/lco/genlex.rzi
lib/rml/lco/gc.rzi
lib/rml/lco/format.rzi
lib/rml/lco/filename.rzi
lib/rml/lco/digest.rzi
lib/rml/lco/complex.rzi
lib/rml/lco/char.rzi
lib/rml/lco/camlinternalBigarray.rzi
lib/rml/lco/callback.rzi
lib/rml/lco/bytes.rzi
lib/rml/lco/buffer.rzi
lib/rml/lco/array.rzi
lib/rml/lco/arg.rzi
lib/rml/lco
lib/rml
bin/rmltop
bin/rmldep.opt
bin/rmldep
bin/rmlc.opt
bin/rmlc