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.