This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* ========================================================================= | |
| First-Principles Unified Field Theory Fine-Structure Constant (alpha) | |
| Free of SI Units -- Evaluated via Exact Definite Integrals | |
| ========================================================================= */ | |
| /* Set precision for big-float display */ | |
| fpprec : 32$ | |
| /* 1. Primary Conformal Phase Action (Definite Polynomial Integral) */ | |
| alpha_0_inv : integrate(12*x^2 + 2*x + 1, x, 0, %pi); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* ========================================================================= | |
| Proton-to-Electron Mass Ratio via 3 Interlinked Toroidal Fluxes | |
| Accounting for Elliptic Deformation from Helical Winding and Spin | |
| ========================================================================= */ | |
| /* 1. Fine-Structure Constant from Toroidal Conformal Phase & Field Reaction */ | |
| alpha_0_inv : 4 * %pi^3 + %pi^2 + %pi$ | |
| alpha_inv : alpha_0_inv - 1 / (24 * alpha_0_inv)$ | |
| alpha : 1 / alpha_inv$ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| pragma ada_2022; | |
| with ada.text_io; | |
| with ada.float_text_io; | |
| with ada.numerics.generic_elementary_functions; | |
| -- complete demonstration of recursive bernstein | |
| -- real root isolation algorithm in floating point (ada 2022). | |
| -- author: frédéric blondin custer. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /********************************************************************* | |
| * Deterministic Iris Primality Inference Engine Module | |
| * | |
| * Implements the combined Vernier Phase Trajectory (Miller-Rabin) | |
| * and Lucas-Frobenius Cl(2,0) Bivector Rotor (Baillie-PSW) test with | |
| * Montgomery domain aperture reduction for deterministic primality | |
| * verification without integer factorization. | |
| * | |
| * Precision selected at compile time via gdc (GNU D) version flags: | |
| * -fversion=LIMB_32 (32-bit integer precision) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| pragma ada_2022; | |
| with ada.text_io; | |
| with ada.integer_text_io; | |
| with ada.float_text_io; | |
| with ada.numerics.generic_elementary_functions; | |
| -- discrete 8-queens wave action potential relaxation engine. | |
| -- author: frédéric blondin custer. | |
| procedure wave_queens_8 is |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| pragma ada_2022; | |
| with ada.text_io; | |
| with ada.integer_text_io; | |
| -- discrete 8-queens grassmann exterior wave annihilation engine. | |
| -- computes the complete ensemble of 92 solutions simultaneously. | |
| -- author: frédéric blondin custer. | |
| procedure grassmann_queens_8 is |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* | |
| The hiha programming language | |
| Copyright © 2026 Barry Schwartz | |
| This program is free software: you can redistribute it and/or modify | |
| it under the terms of the GNU General Public License as published by | |
| the Free Software Foundation, either version 3 of the License, or | |
| (at your option) any later version. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Copyright (C) 2025 Barry Schwartz | |
| # | |
| # Copying and distribution of this file, with or without modification, | |
| # are permitted in any medium without royalty provided the copyright | |
| # notice and this notice are preserved. This file is offered as-is, | |
| # without any warranty. | |
| # serial 2 | |
| # chem_unique_id([CHEM_UNIQUE_ID([VAR]) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env scheme-r7rs | |
| (import (scheme base) | |
| (scheme list) | |
| (scheme write) | |
| (scheme process-context)) | |
| ;;; Generate solutions to the n-queens problem. | |
| ;;; | |
| ;;; This implementation is based *very* closely on a Fortran solution | |
| ;;; by Barry Schwartz, and in turn *extremely* loosely on the public |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| --******************************************************************** | |
| -- This is free and unencumbered software released into the public domain. | |
| -- Anyone is free to copy, modify, publish, use, compile, sell, or | |
| -- distribute this software, either in source code form or as a compiled | |
| -- binary, for any purpose, commercial or non-commercial, and by any | |
| -- means. | |
| -- In jurisdictions that recognize copyright laws, the author or authors | |
| -- of this software dedicate any and all copyright interest in the |