yuanchenyang/LambdaJS
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
An LR Parser Generator written in Python
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
a safe, concurrent, practical language