- https://sovereign-systems.ca/
- https://orcid.org/0009-0006-7592-9166
- @AMerchantmoh
- in/mohskiai
- https://independentresearcher.academia.edu/MohamadAlZawahreh
- Mohamad19960806
-
claw-code Public
Forked from ultraworkers/claw-codeThe fastest repo in history to surpass 50K stars ⭐, reaching the milestone in just 2 hours after publication. Better Harness Tools, not merely storing the archive of leaked Claude Code but also mak…
Rust UpdatedApr 1, 2026 -
In for a penny, in for a pound.
-
The final Millennium Prize Problem - This is 6 done by me, 4 within a single night.
-
5 down, 1 to go.
-
Yang-Mills-Solution-Lean-4 Public
Fourth Solution deployed. Two more to go.
-
A formalized Solution for Navier Stokes in Lean 4 and other computational verification methods.
-
Remember-Me-AI Public
40x cost reduction in AI memory through Coherent State Network Protocol (CSNP) - Wasserstein-optimal memory with zero-hallucination guarantees
-
moonlight-kernel Public
Project Moonlight: The Neuro-Symbolic Polyglot Kernel
-
GitNexus Public
Forked from abhigyanpatwari/GitNexusGitNexus: The Zero-Server Code Intelligence Engine - GitNexus is a client-side knowledge graph creator that runs entirely in your browser. Drop in a GitHub repo or ZIP file, and get an interactive …
TypeScript Other UpdatedFeb 24, 2026 -
-
kyo Public
Forked from getkyo/kyoToolkit for Scala Development
-
Formal verification of the logical incompatibility between the P=NP hypothesis and the Witten-Helffer-Sjöstrand tunneling theorems in spectral geometry. Implemented in Lean 4.
-
sigil-lang Public
Forked from Daemoniorum-LLC/sigil-langSigil: Infrastructure for AI minds. Evidentiality markers track data provenance at the type level.
C Other UpdatedFeb 16, 2026 -
sahih-explorer Public
Forked from h3ma209/sahih-explorerDiscover the lives of Islamic scholars, their academic networks, and authenticated hadith chains
TypeScript UpdatedFeb 10, 2026 -
Brio-Kernel Public
Core and expandable component managing agentic workflows and deep reasoning.
Rust Mozilla Public License 2.0 UpdatedFeb 10, 2026 -
go-github Public
Forked from google/go-githubGo library for accessing the GitHub v3 API
-
irmf-editor Public
Forked from gmlewis/irmf-editorIRMF Shader Editor
-
torsion-control-network Public
Mathematical framework for controlling LLM behavior via information-geometric torsion
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
-
golem Public
Forked from golemcloud/golemGolem is an open source durable computing platform that makes it easy to build and deploy highly reliable distributed systems.
-
antigravity-awesome-skills Public
Forked from sickn33/antigravity-awesome-skillsThe Ultimate Collection of 200+ Agentic Skills for Claude Code/Antigravity/Cursor. Battle-tested, high-performance skills for AI agents including official skills from Anthropic and Vercel.
-
lon-mirror Public
Forked from Tuttotorna/lon-mirrorMB-X.01 · Logical Origin Node (L.O.N.) — TruthΩ → Co⁺ → Score⁺. Demo e spec verificabili. https://massimiliano.neocities.org/
-
-
ida-framework Public
A systematic methodology for conducting rigorous AI research through structured argumentation
-
language-of-life Public
End-to-end pipeline for AI-powered drug discovery using AlphaFold2, ESM-2, and DiffDock
-
AI Consciousness: The Asymptotic Illusion of Artificial Agency—A Quantum-Topological Proof of Consciousness Non-Computability via Orchestrated Objective Reduction and Penrose-Lucas Arguments
-
autogen Public
Forked from microsoft/autogen -
cslib Public
Forked from leanprover/cslibThe Lean Computer Science Library (CSLib)
-
zio-blocks Public
Forked from zio/zio-blocksPowerful, joyful building blocks for modern cloud-native applications.
-