Skip to content
#

apologetics

Here are 17 public repositories matching this topic...

Exegetical critique of classical Arminianism's "Entrapment Problem": universal resistible grace that God knows will fail, yet punishes. Argues synergism distorts the Trinity and constitutes "another gospel" (Gal 1:6-9). Targets systematists and apologists, not laypeople.

  • Updated Oct 10, 2025

Openly available material, archive and lost-and-found: the complete recovered works of Asadullah Ali Al-Andalusi, founder of The Andalusian Project - 72 works, 20 papers, 68 videos, 68 transcripts - recovered from the Wayback Machine and his own surviving sites after the original web presence was lost, with per-item provenance.

  • Updated Oct 15, 2026
  • Python

Faith seeking understanding, machine-checked. A C++23 compiler for theological arguments, with a natural-deduction proof checker, an S5 modal tableau and Z3. Premises cite Scripture, the Fathers or first principles. Gödel’s ontological argument is fully verified. Runs in your browser via WebAssembly.

  • Updated Oct 25, 2026
  • C++

Add this topic to your repo

To associate your repository with the apologetics topic, visit your repo's landing page and select "manage topics."

Learn more