wswedish

Swedish dictionary words for /usr/share/dict

This is a list of 120,000 Swedish words and names, to be used for whatever purpose you may think of.

diatheke

command line bible browsing and search tool

The SWORD Project is an open source, cross-platform (Linux, Windows, Solaris, MacOSX etc.) API/library for Bible software with a constantly growing list of front-ends (GUI, textmode, web-based, etc.) and a library of over 200 text modules.

libgisi0

low-level communication library for ISI modems

libgisi is a low level library for communicating with ISI devices, such as the modem found in some Nokia devices.

gfortran-8-arm-linux-gnueabi

GNU Fortran compiler

coq-doc-pdf

documentation for Coq in pdf format

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

sword-dict-naves

Naves Topical Bible for SWORD

Nave's Topics were originally produced by O.J. Nave while serving as a chaplain in the US Army, and published in the early 1900's. It consists of 20,000+ topics and sub-topics, and 100,000+ references to scripture.