The Lamdu IDE
Users following lamdu
Emily π
emilycodestar
I commit on the first date. π© My code is cleaner than your browser history. Check my repos if you think you can handle a merge conflict with me. π
π
Henry Blanchette
rybla
programming languages, formal verification, game dev, game theory
CS PhD student at UMD Washington, DC
Jose Pedro Hurtado Vega
Joseph0207
Identity Manahement and Services of My Cloud Storage Account Iam
Github, Inc. La Esperanza Colon, Qro
