GitHub Repositories

Run and compile a Rust binary from macOS and deploy to Vercel in a single package. Uses Docker to compile the Rust binary for deployment with streamlined CI/CD workflow.

Eni6ma.GitBook.io documentation repository containing structured research content, technical specifications, and comprehensive guides for ENI6MA technology implementation.

GitHub Pages website repository for ENI6MA organization. Contains HTML-based documentation, project showcases, and research laboratory information.

About Eni6ma.org repository containing organizational information, mission statements, and comprehensive overview of research laboratory activities and goals.

Fundamental cryptography research repository containing core cryptographic primitives, mathematical proofs, and foundational security protocols for ENI6MA technology.

Lean 4 programming language and theorem prover repository. Contains formal verification tools, mathematical proofs, and theorem proving capabilities for rigorous system verification.

Mathematical proof repository containing formal verification documents, cryptographic proofs, and rigorous mathematical demonstrations of ENI6MA protocol security properties.

Research repository containing academic papers, experimental results, and scientific documentation for ENI6MA technology development and cryptographic research initiatives.

Core cryptographic research repository containing fundamental security primitives, mathematical foundations, and cryptographic protocol implementations for secure systems.

Wiki repository containing comprehensive documentation, research notes, and collaborative knowledge base for ENI6MA technology development and implementation guides.