libmozjs-115-0t64
SpiderMonkey JavaScript library
SpiderMonkey is the code-name for Mozilla Firefox's C++ implementation of
JavaScript. It is intended to be embedded in other applications
that provide host environments for JavaScript.
libhierarchy-builder-coq
build hierarchies of algebraic structures in Coq (runtime files)
This software provides high-level commands to build hierarchies of algebraic
structures in the Coq system.
libghc-clash-prelude-prof
Functional hardware description language - Prelude library; profiling libraries
Clash is a functional hardware description language that borrows both its
syntax and semantics from the functional programming language Haskell. The
Clash compiler transforms these high-level descriptions to low-level
synthesizable VHDL, Verilog, or SystemVerilog.
qml-module-org-nemomobile-contacts
QML module providing access to QtPIM QtContacts
This QML module provides high-level abstraction layer on top of the QtPIM
QtContacts API with some improvements such as a data cache, localisation and
internationalization enablers, and other utility capabilities.
libmgl-wnd8t64
library for scientific graphs (windows runtime library)
A free cross-platform library of fast C++ routines for plotting data in up
to 3 dimensions. It can export plots to bitmaps and vector EPS, SVG, IDTF
files. There are simple window interfaces based on GLUT, FLTK and/or Qt.
MathGL can also be used in the console. There are interfaces to a set of
languages, such as, C, Fortran, Pascal, Forth, Python, Octave.
libcoq-iris
high-order concurrent separation logic framework for Coq
This package provides a high-order concurrent separation
logic framework for Coq, which means it is useful to reason
about safety of concurrent programs.