libweasel-widgets-dojo-perl

Dojo Widgets for Weasel

Weasel::Widgets::Dojo provides Weasel extensions for testing tag matchers and widgets in Dojo-based web apps. This includes a 'button_expander' which finds button tags or input tags of types submit, reset, button and image. As well as an 'option_expander' which finds options for dijit.form.Select, after the drop down has been invoked at least once. For widgets; it can be use dto extend the Weasel::Element and Weasel::Widgets::HTML::Select modules.

gfortran-8-multilib-mipsel-linux-gnu

GNU Fortran compiler (multilib support) (cross compiler for mipsel architecture)

metamath

Language for mathematical proofs

Metamath is a tiny language for expressing theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program.

gnat-8-sjlj-alpha-linux-gnu

GNU Ada compiler (setjump/longjump runtime library)

r-cran-dygraphs

GNU R interface to 'Dygraphs' interactive time series charting library

An R interface to the 'dygraphs' JavaScript charting library (a copy of which is included in the package). Provides rich facilities for charting time-series data in R, including highly configurable series- and axis-display and interactive features like zoom/pan and series/point highlighting.

libcvc4parser4

automated theorem prover for SMT problems (parser runtime)