tractor
Setup an onion routing proxy
This package uses Python stem library to provide
a connection through the onion router and set up
proxy in user session, so you don't have to mess
up with TOR on your system anymore.
libxerial-sqlite-jdbc-jni
Xerial's SQLite JDBC Driver (jni)
SQLite JDBC, developed by Taro L. Saito, is a library for accessing and
creating SQLite database files in Java.
python3-wasabi
lightweight console printing and formatting toolkit for Python3
This package is still a work in progress and aims to bundle those
utilities in a standardised way so they can be shared across several
other projects like for instance spaCy. It's super lightweight, has
zero dependencies.
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.
libcontactsd1
Telepathy - QtContacts bridge for contacts (plugin shared library)
contactsd is a service for collecting and observing changes in roster list
from all the users telepathy accounts (buddies, their status and presence
information), and store it to QtContacts.