“Crystallect” stands for the
crystal transparency and order in natural
intellect empowering tools
in contrast to the black box of neural-network-based Artificial
Intelligence
Crystallect has reached the proof-of-concept stage and can be used for designing smaller algorithms like those for AVL-trees from the example provided.
As a platform for interactive logic programming, Crystallect will help users express the desired behaviour of their programs in the form of a theory and generate code based on its proofs. The transparency and verifiability of such programs will further the goals pursued by the free and open source policies.
Furthermore, Crystallect is a part of a larger research endeavor in search for advanced forms of knowledge representation that are superior to common languages and could allow human beings elevate their effective intelligence by using computers as external memory and stay on par with artificial general intelligence, should that emerge from rapid development of LLM.
The next major milestone is to express the entire Crystallect theory on its own platform, similar to rewriting a compiler in the very language it compiles from.
User guide and description: crystallect.pdf
Crystallect’s sources are hosted as free software on GNU’s savannah server:
The group page http://savannah.nongnu.org/projects/crystallect/
Linux-only at this time and there are no dedicated release versions.
git clone git://git.savannah.gnu.org/crystallect.git
Or download as a tarball: http://git.savannah.nongnu.org/cgit/crystallect.git/snapshot/crystallect-master.tar.gz