Sorted A-Prolog with Consistency Restoring rules.

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

Converts profiling output to a dot graph.

Short example how to use Google Test with CMake project

🤔 A grounder and solver for logic programs.

An interpreter for LED program using Python