user: dporkka
PRJ-015·ALPHA·2025 → Now
Nulang website hero screenshot
Website capture
Nulang
Programming Language / Compiler

Nulang

A modern systems language merging Erlang-style actors with Rust-grade types and AI agent support.

Visit live site ↗ github.com/dporkka/nulang
Problem

Building concurrent, distributed applications that also need AI agent integration usually means gluing together 3-4 languages and runtimes. Existing systems languages weren't designed for the agent era.

Solution

Nulang combines lightweight green-thread actors (Erlang model), algebraic effects, capability-based reference permissions, a register-based VM with Cranelift JIT, and first-class AI agent declarations — all in one language built in Rust.

Role

Solo language designer — compiler, VM, type system, actor runtime, AI agent integration, and 740+ tests.

Metrics
  • 740 tests passing
  • 91-opcode bytecode ISA
  • Hindley-Milner type inference + algebraic effects
  • Cranelift JIT for hot-code paths
Impact

Designed and implemented a from-scratch systems programming language that unifies actors, effects, capabilities, and AI agents under one compiler and runtime.

System design

Rust compiler frontend (lexer → parser → type checker) produces bytecode for a register-based VM. The VM runs lightweight actors with M:N scheduling. Cranelift JIT compiles hot paths. The AI runtime layer integrates with OpenAI/Ollama for agent declarations with episodic, semantic, and procedural memory.

Highlights
  • 740 tests pass, 91-opcode bytecode ISA, Hindley-Milner type inference with algebraic effects
  • Lightweight green-thread actors with M:N scheduling, work-stealing, and supervision trees
  • First-class `agent` declarations with LLM providers (OpenAI, Ollama), memory, pipelines, debates
  • Register-based VM with NaN-tagged value representation + Cranelift JIT hot-path compilation
  • Capability system: iso/trn/ref/val/box/tag reference permissions
  • ORCA per-actor GC with cycle detection, CRDTs, SIMD vectorization
Stack
RustCranelift JITActor ModelAlgebraic EffectsORCA GCCRDTs
Browse project vault

Other projects

View all →