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.