Topic: "verification-framework"
obinexus/cfd
CFD - Probabilistic Symbolic Feedback Architecture for Computational Fluid Dynamics Verification through Automaton-Based Base Case Analysis. OBINexus Computing Aegis Project milestone addressing Clay Institute-level mathematical challenges in CFD stochastic chaos through equilibrium wave configuration verification.
Size: 0 Bytes - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 1 - Forks: 0
obinexus/truth
Eziokwu: Heart-centered AI accountability framework for verifying algorithmic decision-making and organizing evidence for regulatory evaluation. Truth infrastructure built on Igbo philosophical principles.
Size: 201 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 1 - Forks: 0
ioncakephper/contract-shield-cli
A CLI tool that processes @pre, @post, and @invariant tags in functions, classes, and methods within a source file. It generates a modified version of the source code that automatically validates input conditions (@pre), result conditions (@post), and invariant conditions (@invariant).
Language: JavaScript - Size: 90.8 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0
