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.