pkupzj/Lambda-Calculus
An introduction to lambda calculus in Chinese, including an interpreter in Haskell.
Public GitHub Catalog
Discovered Sep 27, 2026
pkupzj / Spoon-Knife
This repo is for demonstration purposes only. Comments and issues may or may not be responded to.
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.
#8572174GitHub System ID
pkupzjOrganization / User
PublicVisibility
ActiveCatalog Status
More from pkupzj
pkupzj/jmockit1
Codebase for JMockit 1.x releases
pkupzj/dubbo
Dubbo is a distributed service framework enpowers applications with service import/export capability with high performance RPC.
pkupzj/curator-1
ZooKeeper client wrapper and rich ZooKeeper framework