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()