yuanchenyang/LambdaJS
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
a safe, concurrent, practical language
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
Emacs mode for the language introduced in Berkeley's CS164 class
Attribute grammar schedule synthesizer using Rosette
Tools for logging incremental changes on webpages