Richard Pawson
richardpawson
I run Naked Objects Group & have worked in software development, robotics, & journalism for 40+ years. I write free educational resources for Computer Science
Naked Objects Group Ltd Henley on Thames, UK
Owen Shepherd
414owen
Research engineer. Parsing theory, compilers, functional reactive programming.
@dottxt-ai Ireland
Schell Carl Scivally
schell
Building tiny pieces of the coming mechanocracy.
@Electric-Coin-Company Pasadena, California and Nelson, New Zealand
Agda Github Community
agda
See https://github.com/agda/organization/wiki for an overview of the repositories in this organization.