🎯
Rich Type System
Generics, traits, tagged unions, nominal types, higher-kinded types — express your domain with confidence.
NGA NostalGic Programming Language
Statically-typed · Multi-paradigm · Modern C++23 implementation
Skip to content
🔒
Safe by Default
Prevents null pointer dereferences, buffer overflows, and use-after-move errors at compile time.
⚡
One Clean Pipeline
Lexer → Parser → Resolver → Type Checker → FlowIR → Bytecode → VM — one implementation, no duplicated semantics.
🔧
Compile-Time Metaprogramming
Const if, const predicates, const functions, and type specialization — compute at compile time, not at runtime.
🖥️
Native FFI
Seamless C++ function binding. Call into existing C/C++ libraries with zero overhead.
🎨
ImGui Integration
Build immediate-mode GUI applications using Dear ImGui, directly from NG code.
🧩
Ownership Model
Value semantics, references, moves, and partial moves — fine-grained control over memory without a garbage collector.
📦
Module System
Export/import visibility, clean namespace management. Every file is a module.
🚀
Verified Bytecode VM
Versioned, verified bytecode with per-run fuel budgets, trait-view dispatch tables, and re-entrant compilation (`runNgi`).