Dhaad Programming Language (لغة البرمجة ض/ضاد)

Current Version: v0.1.0 — Proof of Concept

A unified programming language aiming to consolidate AI, Quantum Computing, Cybersecurity, and regulated industries into a single formally-verified platform.

📋 Table of Contents

What is Dhaad?
Current Status
Intellectual Property
Quick Start
Examples
Architecture
Verified Numbers
Roadmap
Contributing
License
Contact

What is Dhaad?

Dhaad is an attempt to build a unified programming platform that solves the technical fragmentation problem faced by enterprises and nations:

15+ languages and platforms per domain (Python for AI, Q# for Quantum, Solidity for Blockchain, ...)
Conflicting security models across languages
Absence of formal verification in most production languages
Regulatory compliance difficulty in regulated sectors (healthcare, finance, defense)

Dhaad's vision: one language, one security model, one verification system, across 116 systems distributed over 26 layers.

⚠️ Honest disclaimer: This is Stage 0 (Proof of Concept). The language is still in its infancy. We are seeking early adopters and co-founders to transform this specification into a production-grade product.

Current Status

What Has Been Actually Built (BUILD-VERIFIED)

Component	Status	Evidence
Core Compiler	✅ Working	`dhaad.exe` builds & passes 6,351 tests
Lexer	✅ Working	592 tokens, 447 keywords, 110 operators
Parser	✅ Working	740 AST nodes in 17 categories
Semantic Analysis	✅ Working	8-pass pipeline
Unified Semantic Tree (UST)	✅ Working	40 UDNS v8.0 capabilities
Code Generation (LLVM 21)	✅ Working	139 LLVM libraries integrated
Package Manager (dpm)	✅ Working	PubGrub SAT resolver
Language Server (LSP 3.17)	✅ Working	26 custom + 35 standard methods
Code Formatter (dhaad-fmt)	✅ Working	8-pass pipeline
Doc Generator (dhaad-doc)	✅ Working	8 document types
Interactive REPL	✅ Working	15 commands
Formal Verification	⚠️ Partial	8 Lean 4 modules (of 10 planned)
Standard Library (dhaad-std)	⚠️ Partial	18 modules (of 50+ planned)
Fuzzing	⚠️ Partial	3 targets (requires Clang)

What Is NOT Yet Done (Honestly)

❌ No external users yet
❌ No engineering team (single founder currently)
❌ No industrial or academic partners formally
❌ No regulatory certifications (ISO, DO-178C, ...) — planned for future years
❌ 64 of 116 systems deferred to Stage 2

Intellectual Property

This project is officially registered with the Saudi Authority for Intellectual Property (SAIP):

Type	Number	Status	Date
Patent	SA-1020266164	✅ Filed	1448/01/10 AH (2026-07-10)
Copyright	SA-261295185201	✅ Complete	2020-07-26
Trademark	SA-1267997	⏳ Pending	-

📎 Full documentation in docs/ip/.

Owner: Hassan Ali Mohammed Ahmed Shoukr
Organization: Dhaad Organization

Quick Start

Prerequisites

Component	Version	Notes
CMake	4.0+
MSVC	19.44+	Windows (Visual Studio 2022)
Clang	18+	Linux/macOS + Fuzzing
GCC	14+	Linux
Python	3.10+	For code generators
LLVM	21.1.1	Download from llvm.org
vcpkg	latest	For external dependencies

Windows Build (MSVC)

# 1. Clone repository
git clone https://github.com/dhaad-org/dhaad-stage0.git
cd dhaad-stage0

# 2. Setup vcpkg (if not installed)
git clone https://github.com/microsoft/vcpkg.git C:/vcpkg
C:/vcpkg/bootstrap-vcpkg.bat
C:/vcpkg/vcpkg install nlohmann-json fmt doctest

# 3. Generate build files
cmake -B build/release -G "Visual Studio 17 2022" -A x64

# 4. Build
cmake --build build/release --config Release

# 5. Run tests
.\build\release\Release\dhaad_test_runner.exe

Linux/macOS Build

# 1. Clone
git clone https://github.com/dhaad-org/dhaad-stage0.git
cd dhaad-stage0

# 2. Dependencies (Ubuntu)
sudo apt install cmake ninja-build clang-18 libllvm21-dev \
                 nlohmann-json3-dev libfmt-dev doctest-dev

# 3. Build
cmake -B build/release -G Ninja \
      -DCMAKE_BUILD_TYPE=Release \
      -DCMAKE_CXX_COMPILER=clang++-18
cmake --build build/release

# 4. Test
./build/release/dhaad_test_runner

Expected Output

[doctest] test cases:    6351 |    6351 passed | 0 failed
[doctest] assertions: 1068809 | 1068809 passed | 0 failed
[doctest] Status: SUCCESS!

Examples

Example 1: Hello World

#~> FILE: hello.dh
#~> LICENSE: DMEOL-2.0-Universal

dDh HelloWorld =
  fDh main(): Int32 =
    println("Hello, Dhaad!")
    return 0
  =>
    .return

Run:

dhaad hello.dh -o hello.o
dhaad hello.dh --format ll      # Show LLVM IR

Example 2: Math Function

dDh Fibonacci =
  fDh fib(n: Int32): Int32 =
    constraints: { require: n >= 0 }
    =
      if n <= 1 then n
      else fib(n - 1) + fib(n - 2)
    =>
      .return
      .check

Example 3: Certified Mode

dDh CriticalSystem =
  [mode: { rigor: certified, verification: formal }]
  fDh compute(x: Int32): Int32 =
    constraints: {
      require: x > 0,
      ensure: result > x
    }
    =
      x * 2
    =>
      .return
      .prove

📚 More examples in examples/.

Architecture

Seven Tiers (Phase 0)

┌─────────────────────────────────────────────────────────────┐
│  Tier 7: Tests & Verification                              │
├─────────────────────────────────────────────────────────────┤
│  Tier 6: UDOHS, AST & Visualization                        │
├─────────────────────────────────────────────────────────────┤
│  Tier 5: Generated Files (BUILD-TIME)                      │
│          NodeKinds.inc · TokenKinds.gen.h · UnicodeTables  │
├─────────────────────────────────────────────────────────────┤
│  Tier 4: Third-Level Dependencies                          │
│          SourceManager · BlockSystem · ThreadPool          │
├─────────────────────────────────────────────────────────────┤
│  Tier 3: Second-Level Dependencies                         │
│          StringPool · SymbolTable · FileSystem · Grid      │
├─────────────────────────────────────────────────────────────┤
│  Tier 2: Error Recovery & Diagnostics Base                 │
│          Diagnostic · ErrorRecovery · DiagnosticsBase      │
├─────────────────────────────────────────────────────────────┤
│  Tier 1: First-Level Dependencies                          │
│          Arena · StringPool · SmallVector · ArrayRef       │
├─────────────────────────────────────────────────────────────┤
│  Tier 0: Absolute Foundation                               │
│          Math · Symbol · SourceLocation · Result · Option  │
└─────────────────────────────────────────────────────────────┘

Full Pipeline (Phases 0-7)

Source.dh
  │
  ▼
┌──────────┐   ┌──────────┐   ┌──────────┐   ┌──────────┐
│  Lexer   │──▶│  Parser  │──▶│ Semantic │──▶│   UST    │
│ (Phase 1)│   │ (Phase 2)│   │ (Phase 3)│   │ (Phase 4)│
└──────────┘   └──────────┘   └──────────┘   └──────────┘
                                                    │
                                                    ▼
                              ┌──────────┐   ┌──────────┐
                              │  LLVM 21 │◀──│ CodeGen  │
                              │ Backend  │   │ (Phase 5)│
                              └──────────┘   └──────────┘
                                                    │
                                                    ▼
                                              Binary (.o/.exe)

Verified Numbers

These numbers are extracted from the actual build log (MSVC 19.44, Windows 10):

Metric	Count	Notes
Test Cases	6,351	✅ All passing
Assertions	1,068,809	✅ All passing
Tokens	592	✅ Verified
Keywords	447	✅ Verified
Operators	110	✅ Verified
Node Kinds	740	✅ 17 categories
Handlers	221	✅ 20 categories
Constraints	137	✅ 30 categories
Modes	148	✅ 21 sections
Error Codes	1,277	✅ 28 categories
Libraries Built	27	✅ ZERO warnings
Executables	7	✅ Working
LLVM Libraries	139	✅ LLVM 21.1.1
Compiler Warnings	0	✅ Under /W4 /WX

📊 Transparency Note: Numbers mentioned in some older documents (e.g., "3,616,209 assertions") were exaggerated. The numbers above are the actual numbers from the latest build log.

Roadmap

Stage 0 — Proof of Concept (2026) ✅

Stage 1 — Self-Hosting (2027) 🎯

Compiler compiles itself (Self-Hosting)
10+ external developers
100+ GitHub stars
Complete standard library (50+ modules)
First regulatory certification (HIPAA or PCI-DSS)

Stage 2 — Expansion (2028-2029)

Stage 3 — Maturity (2030+)

10,000+ developers
$10M+ ARR
Full regulatory certifications
Government adoption

📎 Full details in docs/roadmap/.

Contributing

We welcome contributions! But this is an early stage, and we are specifically looking for:

🎯 What We Need

Co-founders:
- CTO with compiler engineering experience
- Chief Scientist in type theory or formal verification
- Head of Community
Technical Contributors:
- C++20 developers with compiler experience
- Lean 4 / Coq experts
- TypeScript developers (VS Code extension)
Early Adopters:
- University researchers
- Startup engineering teams
- Independent developers

📝 How to Contribute

# 1. Fork the repository
git clone https://github.com/YOUR_USERNAME/dhaad-stage0.git

# 2. Create a branch
git checkout -b feature/my-contribution

# 3. Build and test
cmake -B build -G "Visual Studio 17 2022"
cmake --build build --config Release
./build/Release/dhaad_test_runner.exe

# 4. Commit
git commit -m "Add: my contribution"

# 5. Push and open a Pull Request
git push origin feature/my-contribution

📎 Full guide in CONTRIBUTING.md.

License

This project is licensed under DMEOL-2.0-Universal (Perpetual Ethical Edition).

Category	Price	Terms
Individual & Education	Free	Attribution
Open Source	Free	Attribution
Startup (< $10M)	$500/year	Attribution
Professional (< $100M)	$5,000/year	Attribution
Enterprise (>= $100M)	$50,000/year	Negotiated
Government	Negotiated	Negotiated

📎 Full text in LICENSE and docs/licensing/.

Contact

GitHub Issues: github.com/dhaad-organization/dhaad-stage0/issues
GitHub Discussions: github.com/dhaad-organization/dhaad-stage0/discussions
Email: contact@dhaad.org
Website: dhaad.org (under construction)

Acknowledgments

MSVC 19.44 — Windows build
LLVM 21.1.1 — Backend
vcpkg — Dependency management
doctest — Testing framework
Lean 4 — Formal verification

Project Status

Status: 🟡 Proof of Concept

✅ Compiler works
✅ Tests pass
✅ IP registered
⚠️ No external users yet
⚠️ No team yet
⚠️ 64 systems deferred

We invite co-founders and early adopters to join.

Made with 🖤 in the Kingdom of Saudi Arabia

Patent SA-1020266164 · Copyright SA-261295185201 · Trademark SA-1267997

```

Name		Name	Last commit message	Last commit date
Adaptive Outcome-Handler Domain-Spectrum System.md		Adaptive Outcome-Handler Domain-Spectrum System.md
Dhaad-Data- Develpment.md		Dhaad-Data- Develpment.md
LICENSE.ar.md		LICENSE.ar.md
LICENSE.md		LICENSE.md
README.ar.md		README.ar.md
README.md		README.md
core_innovation.md		core_innovation.md
dhaad_examples.md		dhaad_examples.md
dhaadcit.md		dhaadcit.md

Navigation Menu

Repository navigation

About

Repository files navigation

Dhaad Programming Language (لغة البرمجة ض/ضاد)

📋 Table of Contents

What is Dhaad?

Current Status

What Has Been Actually Built (BUILD-VERIFIED)

What Is NOT Yet Done (Honestly)

Intellectual Property

Quick Start

Prerequisites

Windows Build (MSVC)

Linux/macOS Build

Expected Output

Examples

Example 1: Hello World

Example 2: Math Function

Example 3: Certified Mode

Architecture

Seven Tiers (Phase 0)

Full Pipeline (Phases 0-7)

Verified Numbers

Roadmap

Stage 0 — Proof of Concept (2026) ✅

Stage 1 — Self-Hosting (2027) 🎯

Stage 2 — Expansion (2028-2029)

Stage 3 — Maturity (2030+)

Contributing

🎯 What We Need

📝 How to Contribute

License

Contact

Acknowledgments

Project Status

About

Releases

Packages

Contributors

Latest commit

History

Folders and files

Repository files navigation

Dhaad Programming Language (لغة البرمجة ض/ضاد)

📋 Table of Contents

What is Dhaad?

Current Status

What Has Been Actually Built (BUILD-VERIFIED)

What Is NOT Yet Done (Honestly)

Intellectual Property

Quick Start

Prerequisites

Windows Build (MSVC)

Linux/macOS Build

Expected Output

Examples

Example 1: Hello World

Example 2: Math Function

Example 3: Certified Mode

Architecture

Seven Tiers (Phase 0)

Full Pipeline (Phases 0-7)

Verified Numbers

Roadmap

Stage 0 — Proof of Concept (2026) ✅

Stage 1 — Self-Hosting (2027) 🎯

Stage 2 — Expansion (2028-2029)

Stage 3 — Maturity (2030+)

Contributing

🎯 What We Need

📝 How to Contribute

License

Contact

Acknowledgments

Project Status

About

Topics

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors