GitHub Repositories
Open source repositories and research code from our GitHub organizations.
eni6ma
rust-binary-on-vercel
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.
0
1
Shell
MITeni6ma
gitbook
Eni6ma.GitBook.io documentation repository containing structured research content, technical specifications, and comprehensive guides for ENI6MA technology implementation.
2
0
Markdown
The Unlicenseeni6ma
eni6ma.github.io
GitHub Pages website repository for ENI6MA organization. Contains HTML-based documentation, project showcases, and research laboratory information.
1
0
HTML
MIT Licenseeni6ma
About
About Eni6ma.org repository containing organizational information, mission statements, and comprehensive overview of research laboratory activities and goals.
2
1
Markdown
MITeni6ma
Fundamental-Cryptography
Fundamental cryptography research repository containing core cryptographic primitives, mathematical proofs, and foundational security protocols for ENI6MA technology.
1
1
Various
MITeni6ma-org
lean4
Lean 4 programming language and theorem prover repository. Contains formal verification tools, mathematical proofs, and theorem proving capabilities for rigorous system verification.
678
0
Lean
Apache License 2.0eni6ma-org
PROOF
Mathematical proof repository containing formal verification documents, cryptographic proofs, and rigorous mathematical demonstrations of ENI6MA protocol security properties.
0
0
Various
MITeni6ma-org
Research
Research repository containing academic papers, experimental results, and scientific documentation for ENI6MA technology development and cryptographic research initiatives.
2
4
Various
MITeni6ma-org
Fundamental-Cryptography
Core cryptographic research repository containing fundamental security primitives, mathematical foundations, and cryptographic protocol implementations for secure systems.
1
0
Various
MITeni6ma-org
Wiki
Wiki repository containing comprehensive documentation, research notes, and collaborative knowledge base for ENI6MA technology development and implementation guides.
0
0
Markdown
MITContribute to Research
All repositories are open source and available for collaboration, review, and contribution.