yuanchenyang/LambdaJS
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
Public GitHub Catalog
Discovered Sep 30, 2026
yuanchenyang / GR-tools
Symbolic algebra tools for calculating Christoffel symbols and Riemann curvature tensors for General Relativity
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#19368855GitHub System ID
yuanchenyangOrganization / User
PublicVisibility
ActiveCatalog Status
More from yuanchenyang
yuanchenyang/cs164-mode
Emacs mode for the language introduced in Berkeley's CS164 class
yuanchenyang/ag-scheduler
Attribute grammar schedule synthesizer using Rosette
yuanchenyang/rust
a safe, concurrent, practical language