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.

libgetdata-tools

library to read/write dirfile data - extra tools

The GetData Project is the reference implementation of the Dirfile Standards, a filesystem-based, column-oriented database format for time-ordered binary data. The Dirfile database format is designed to provide a fast, simple format for storing and reading data.

spellutils

Utilities to spell-check selectively

Spellutils is a suite of programs which are used to isolate some parts from various types of files and hand them over to another program which may change the texts; it is typically a spell checker. Afterwards the possibly changed text parts are copied back in place in the original file.

sword-comm-scofield

Scofield Reference Notes, 1917 edition for SWORD

Scofield Reference Notes, 1917 edition based on the version at http://bible.crosswalk.com/ with formatting changes and corrections.