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)