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: