Actually, my first take on adding bytebeats to Bees was to use the C++ code for the 60 bytebeat equations provided by default in the Microbe Modular Equation Composer module. All the source code for the Equation Composer is available under an open-source license, specifically, the GPLv3. After some google-research and putting a few questions to various open source licensing experts (including my sister), it transpires that legally it is fine to incorporate the GPLv3 Equation Composer code in a file that is included into the Braids compiled executable, because the MIT (aka expat) license that the Braids code is licensed under by Olivier is compatible with code licensed under the GPLv3 (but not GPLv2 or earlier code). The only stipulation is that the compiled firmware images would also need to be licensed under the GPLv3, which is not a problem.
However, I thought better of it, because doing that would almost certainly undermine sales of the Equation Composer module (people with a Braids who might have otherwise have bought an Equation Composer may change their purchasing decisions, or people may buy a Braids instead of an Equation Composer as a result). It would be unethical to use their open-sourced code in that way. Thus I only added two byte beat equations that aren’t in the factory set of equations for Equation Composer. Naturally I sought permission to use those two equations from their authors, although I admit that I haven’t heard back from either yet - but the equations were published in a way that suggested that the authors did want them to be used. If they ultimately object, there are plenty of others to chose from, although after auditioning about 50 or 60 equations I found in various places around the internet, I concluded that although most were interesting, most also sound terrible and set one’s teeth on edge. I chose the two least grating I could find, but there are other “nice” byte beat equations. They aren’t really equations, BTW, they are bit operation algorithms with a functional form. Anyone interested should read viznut’s analysis - I made use of the stephth “equation” given there, BTW. I’m surprised that no-one seems to have attempted a formal analysis from a discrete maths perspective - superficially, these things would seem to be rings or semirings, I think, governed by or describing an abstract algebra (obviously what I know about rings and semirings and abstract algebras can be written on a postage stamp…).