This is a programming language for logic gates. Basically, it is a text-based language with variables that are true or false. You can do operations on these variables to edit them. You can use these to write arithmetic in binary. This is how microchips are programmed, by the way. Please don't comment the password.