symbolic · GitHub Topics