Adding witness project, updating participation in String Project, and some cleaning up.

sohah committed Jan 25, 2023

Adding a possible project idea

sohah committed Jan 20, 2023

updating the structure of wiki pages for GSoC 2023

pparizek committed Jan 4, 2023