OpenBSD ports

education

• CVSweb
• allbsd
• cgit
• openports.se
• ports-wip

• WordGenerator-1.9p1
• algotutor-0.8.6p1
• anki-2.0.48p2
• artikulate-18.08.2
• cantor-18.08.2
• childsplay-2.6.5p3
• dictd-client-1.9.15p3
• dictd-server-1.9.15p1
• drgeo-1.1.0p25
• drgeo-doc-1.6p0
• dvorak7min-1.6.1p0
• ecoliercourt-fonts-0.1p2
• epte-2.0.8
• gamgi-0.15.5
• gcompris-17.05p1
• gnaughty-1.2.6p4
• gtypist-2.9.5p1
• kalgebra-18.08.2
• klogic-4.0.2p2
• ktouch-18.08.2
• libkdeedu-4.14.3p3
• mnemosyne-2.3.6p1
• verbiste-0.1.45p2

23 packages in education.

  ∴ ∀ ∃ ports.su.