E-Ink News Daily

Back to list

smolts: a pedagogical IDE for a teaching language

The author shares smolts, a browser-based IDE for SMoL (Standard Model of Languages), a teaching language for programming languages courses. It supports S-expression syntax, step-through execution with visualization of continuations, environments, and stores, and features like stepping backwards and run-to-cursor. The project is still in an early, partially complete state with known bugs and invites community contributions.

Background

SMoL (Standard Model of Languages) is a pedagogical framework developed by Shriram Krishnamurthi and colleagues for teaching programming language semantics, as featured in the textbook PLAI. This IDE builds on prior work like the Stacker project to provide an interactive learning environment.

Source
Lobsters
Published
Sep 4, 2026 at 07:00 PM
Score
5.0 / 10