libcoq-quickchick

randomized testing framework for Coq (plugin)

QuickChick provides a framework for randomized testing of program properties ; it's a clone of Haskell's QuickCheck.

gm2-13-sparc64-linux-gnu

GNU Modula-2 compiler (cross compiler for sparc64 architecture)

This is the GNU Modula-2 compiler for the sparc64-linux-gnu architecture, which compiles Modula-2 on platforms supported by gcc. It uses the gcc backend to generate optimised code.

gm2-13

GNU D compiler (version 2)

This is the GNU Modula-2 compiler, which compiles Modula-2 on platforms supported by gcc. It uses the gcc backend to generate optimised code.

gobjc++-13

GNU Objective-C++ compiler

This is the GNU Objective-C++ compiler, which compiles Objective-C++ on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

libwayland-egl++1

wayland compositor infrastructure - EGL library C++ bindings

Wayland is a protocol for a compositor to talk to its clients as well as a C library implementation of that protocol. The compositor can be a standalone display server running on Linux kernel modesetting and evdev input devices, an X application, or a wayland client itself. The clients can be traditional applications, X servers (rootless or fullscreen) or other display servers.

python3-memoized-property

decorator to avoid redundant computation

This package allows one to tag methods that have may have their result buffered to save redundant computation, as in: @memoized_property def name(self): return some_expensive_load()