@DavidTanzer If a name can be agreed I'll create a new repo under the Azimuth organisation and add anybody who posts their github name as committers and I'd hope some of you might indicate your agreement to be admins as we need a few apart from John and me. Repos by language eg. Haskell, Idris, Python, Prolog, Javascript is one set of possibilities. ProgrammingWithCategories,FunctionalProgramming or AppliedCategoryTheory might be others. WDYT? @AllanErskine @MatthewDoty @WebHubTel @JanGalkowski @GrahamJones @JohnBaez