jasonchilders/Lambda2Pi
A project for exploring conversion of lambda-calculus terms to pi-calculus processes.
Public GitHub Catalog
Discovered Sep 28, 2026
jasonchilders / HappyMeter
A restful web-service framework on Google Appengine as an example end-to-end architecture for extending web-based and mobile prototypes.
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.
#13291906GitHub System ID
jasonchildersOrganization / User
PublicVisibility
ActiveCatalog Status