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.
elpa-gcl27
GNU Common Lisp compiler
GNU Common Lisp (GCL) is a Common Lisp compiler and interpreter
implemented in C, and complying mostly with the standard set
forth in the book "Common Lisp, the Language I". It attempts
to strike a useful middle ground in performance and portability
from its design around C.
python3-momepy
Urban Morphology Measuring Toolkit - Python 3.x
Momepy is a library for quantitative analysis of urban form - urban
morphometrics. It is part of PySAL (Python Spatial Analysis Library) and is
built on top of GeoPandas, other PySAL modules, and networkX.
k3conf
Powerful Diagnostic Tool for Texas Instruments K3 based Processors
K3CONF is a Linux user-space application designed to provide a quick'n easy way
to dynamically diagnose Texas Instruments' K3 architecture based processors.
k3conf is intended to provide a similar experience to that of OMAPCONF that
runs on legacy TI platforms.
libandroid-zipflinger-java
Library dedicated to ZIP files manipulation
It can create an archive from scratch but also add/remove
entries without decompressing/compressing the whole archive.
The goal of the library is to work as fast as possible (its
original purpose is to enable fast Android APK deployment).
The two main features allowing high-speed are Zipflinger's
ability to edit the CD of an archive and its usage of
zero-copy transfer when moving entries across archives.
python3-inflate64
Enhanced Deflate compression algorithm
The "inflate64" is a Python package to provide "Deflater" and
"Inflater" class to compress and decompress with Enhanced Deflate
compression algorithm.