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
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.