Download — DeepLang

deepc

The DeepLang compiler. Compiles DeepLang source code (.dp) through lexing, parsing, semantic analysis, and ANF conversion into WebAssembly Text Format (.wat). Implemented in OCaml with a formal type checker.

Latest Build Build from Source

📦 deeplang-type-system

deepvm

The DeepLang virtual machine — a lightweight, memory-efficient runtime for AIoT edge devices. Supports native WASM execution, interactive REPL, and bump-allocator memory management. ROM ≤ 100KB, RAM ≤ 50KB.

Latest Release Build from Source

📦 deepvm

📖

Language Specification

The official DeepLang language specification — syntax, type system, semantics, and standard library documentation. Essential reference for language users and contributors.

Latest Spec (PDF) View on GitHub

📦 deeplang