GitHub
Help
Search
Search
Users PK
Repos PK
Compare repositories
vs
Compare
kranich/plfa.github.io
Metric
openclaw/openclaw
0
Stars
391129
0
Forks
82235
Agda
Language
TypeScript
Introduction to programming language theory in Agda
Description
The AI that really does things. Any OS. Any Platform. The lobster way. 🦞