libzeitgeist-1.0-1

library to access Zeitgeist - shared library

httpfs2

FUSE filesystem for mounting files from http servers

httpfs2 is a FUSE based filesystem for mounting http or https URLS as files in the filesystem. There is no notion of listable directories in http so only a single URL can be mounted. The server must be able to send byte ranges.

ibid

easily extensible Python IM bot for IRC, Jabber, SILC, campfire, etc.

Ibid is a multi-protocol, general purpose, instant messaging chat bot written in Python. It aims for a naturalistic interface rather than strict-syntax commands.

gprbuild

multi-language extensible build tool

A set of tools for processing GNAT project files: gprconfig detects available compilers, gprbuild runs them; gprslave helps distributing the build work across the network; gprinstall copies the objects to their final destination; gprclean removes them. The default configuration supports Ada, Assembler, C, C++, Fortran, and can be extended to support user source processing tools.

zoxide

Smarter cd command for your terminal

This package contains the following binaries built from the Rust crate "zoxide": - zoxide

acl2-source

Computational Logic for Applicative Common Lisp: source files

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.