SOFTWARE

Lambda Smalltalk

A fast, modern Smalltalk implementation powered by Cranelift JIT compilation. It delivers performance comparable to LuaJIT and Node.js V8 while preserving the pure Smalltalk philosophy of "everything is an object, everything is a message."

Lambda Prelude

A statically typed functional Smalltalk designed for long-running services. It combines Hindley-Milner inference with a Smalltalk-style surface syntax, an actor model built on OCaml 5 effect handlers, native AOT compilation (no bytecode VM, no JIT), and batteries-included support for HTTP, TLS, SQL, and cryptography.

Lambda C

A lightweight C-like scripting VM designed for embedded systems and resource-constrained environments. It features a compact 4-byte instruction format, dynamic FFI (Foreign Function Interface), and hot-reload capabilities, with an "intent vs. execution" architecture in which the host enforces all safety boundaries.

Lambda OS

An RTOS for hard real-time control such as drone flight control, where microsecond-critical loops matter. The kernel — hardware, interrupts, scheduler, and drivers — is written in Zig, while the application layer runs as Lambda C bytecode: MMU-isolated actors that express intent, with the kernel deciding what is actually feasible. It provides the building blocks of real-time control — priority inheritance, deadline-miss detection, CPU reservation, and rate-monotonic (RM) schedulability analysis — an SMP scheduler that runs preemptively at fixed priority per core, and a full networking stack spanning Ethernet through TCP, DHCP, and DNS. Its distributed actors use location-transparent message passing that extends to node-to-node communication, and a single Zig toolchain spans everything from 64-bit x86_64, RISC-V, and AArch64 down to inexpensive 32-bit microcontrollers such as RV32 and the ARM Cortex-M0+.

LPScript

A statically typed functional Smalltalk with actors, for writing screens that run in a browser. State lives in an actor, what arrives is a message, and what draws is the state having moved — a button press, an HTTP reply, and an animation frame are all written the same way. A ten-thousand-row grid, a breakout, and a canvas shooter are all built from that mechanism and nothing else. There is nowhere to declare what to redraw, so there are no memos, dependency arrays, or subscriptions. The markup is the designer's own HTML, cloned as-is: a selector the page does not have, or a message no handler answers, is a compile error. Money is a Decimal, a date is a calendar day, and JSON keeps its digits — business data is right by default, which is not to say business screens are all you can write. It compiles to ordinary ES modules, and heavy work moves to a Web Worker by writing Worker spawn:on:. It is a sibling of Lambda Prelude, sharing its shape and none of its runtime.