I am working on a knowledge representation and reasoning system. It is cool because of the simplicity and expressiveness of the languaje it uses to represent knowledge.
1.- https://github.com/enriquepablo/terms.server 2.- https://github.com/enriquepablo/terms.server/tree/master/ter...