The Hyperon Software Web page provides access to scientific material produced by its owner Martin Dowd.

- Introductory Algebra, Topology, and Category Theory. The intended audience is 3rd and 4ty year undergraduates; early chapters are accessible to advanced 2nd year undergraduates.
- An in-progress additional chapter for the foregoing, covering some topics in finite ring theory, of relevance to coding theory
- A Beginner's Guide to Modern Set Theory.The intended audience is 3rd and 4ty year undergraduates; early chapters are accessible to advanced high school students.
- Rigorous Vector Calculus. The intended audience is 2nd year undergraduates.

- A discussion of the possibility of a new, high-perfornance, space program.
- A manuscript "Some Mars Trajectory Optimizations (PDF)". This gives an example 30 day stay, 300 day total, manned Mars mission.
- An astrodynamics toolkit. This includes code for the optimizations found in the manuscript just listed. It also includes Newtonian iteration for orbit determination.

- Iterating Mahlo's operation
- Some New Axioms for Set Theory
- A Lower Bound on the Mahlo Rank of a Weakly Compact Cardinal
- Normal Ultrafilters and Mahlo Rank
- Improved Results in Scheme Theory
- Scheme Terms
- New Constructions of Function and Set Chains
- Function Chains from Uniform Sigma-1-1 Well Orders
- Pi-1-1 Normal Form in a Regular cardinal
- Downseta and Generalized Descriptive Set Theory
- Sigma-1-1 Well-Founded Relations and Set Chains
- Reflective well-founded relations
- A Question on Indiscernibles
- Schemes_Ordinal_Functions_and_Repeat_Points
- An Ordinal Larger Than the Bachmann-Howard Ordinal

- Strong Reconstructibility of the Block-Cutpoint Tree
- Two Cases of Reconstruction of Separable Graphs
- Some Results on Reconstructibility of Colored Graphs
- New Cases of Reconstructibility of SBT Graphs
- A Variant of Reconstructibility oF Colored Graphs

- Propositional Representation of Arithmetic Proofs (Ph. D thesis)
- A Propositional Modal Logic for the Liar Paradox
- A construction of limits and colimits of topological structures
- Configurations in Binary Linear Codes (Full Version)
- A Computer Search for N1L Configurations
- A Simple Model for Genetic Algorithm Convergence (Some source code)
- Solutions to the 1-Design Equations (Some additional data)
- A Lower Bound on the Length of Basic Minimal 1-(3t+1,3) Designs
- A Conjecture on N1L Configurations

- A new variant of C, called HyperC. This adds minimal abstract data type support, and a full-fledged preprocessor, to GNU C.
- C source code for a quad mesher.
- A Windows multiselect combobox. This must be coded by hand, since the SDK does not support it.
- Bash commands for installing Slackware on a usb memory card, together with a toolkit for following shared object dependencies.

- Notes on installing Openlogos under Slackware Linux.
- A discussion of the possible truth of the continuum hypothesis
- A comment on High efficency automobiles.

links mailto:martin@hyperonsoft.com