libcoq-record-update

automatic record fields updaters for Coq

This package provides an automatic and generic way to update record fields in Coq.

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.

libplexus-languages-0.9-java

Plexus shared language features

Plexus Languages maintains shared language features used by the Plexus components, such as parsing or extracting modules information in various ways for the Java language.

qml-module-buteo-syncfw

Buteo sync framework client - QML bindings

Synchronization of contact data in Lomiri is controlled by Buteo (the synchronization framework used in Ubuntu Touch and SailfishOS). Synchronization with a variety of data sources is supported through a number of data-source-specific synchronization plugins. Each plugin is independent, although many of them share significant amounts of code to ease maintenance.

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.

python3-pylons-sphinx-themes

Sphinx themes for Pylons related projects

The following Pylons Sphinx Themes are provided by this package: