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.

raster3d

tools for generating images of proteins or other molecules

Raster3D is a set of tools for generating high quality raster images of proteins or other molecules. The core program renders spheres, triangles, cylinders, and quadric surfaces with specular highlighting, Phong shading, and shadowing. It uses an efficient software Z-buffer algorithm which is independent of any graphics hardware. Ancillary programs process atomic coordinates from PDB files into rendering descriptions for pictures composed of ribbons, space-filling atoms, bonds, ball+stick, etc. Raster3D can also be used to render pictures composed in other programs such as Molscript in glorious 3D with highlights, shadowing, etc. Output is to pixel image files with 24 bits of color information per pixel.

kannel-sqlbox

SQL helper application for Kannel WAP and SMS gateway

Kannel is a gateway for connecting WAP (Wireless Application Protocol) phones to the Internet. It also works as an SMS/SMPP gateway, for providing SMS based services for GSM phones.

juju-local-kvm

dependency package for the Juju local provider

PHP plugin for KDevelop

kdevelop-php

PHP plugin for KDevelop

KDevelop is an easy to use integrated development environment for KDE. It supports a wide range of programming languages and features project management, an advanced editor, a class browser and an integrated debugger.