digital logic sim GitHub - Search