The Hyperon Software Web page provides access to scientific material produced by its owner Martin Dowd. Downloads are free of charge. Hyperon Software would appreciate any donations.

- 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

- Strong Reconstructibility of the Block-Cutpoint Tree
- Two Cases of Reconstruction of Separable Graphs
- Some Results on Reconstructibility of Colored Graphs

- 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 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.

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

To donate to Hyperon Software, mail a check, payable to "Martin Dowd", to the address below.

Hyperon Software PO Box 4161 Costa Mesa, CA 92628-4161

Programs are provided as source code. Some makefiles are provided, for the Windows and/or Gnu compilers. Some downloads are packaged as ".zip" files, with CR's. Unix users can use "unzip" and "dos2unix", available at http://www.redhat.com and various other sites, and often included in distributions. Some downloads are provided as ".tgz" files; cygwin can be used to handle these under Windows.

links mailto:martin@hyperonsoft.com