lobsters

lobsters/mockturtle

Lobsters IRC bot

2 good first / help-wanted issues · JavaScript · last activity Mar 3, 2026

17 stars 7 forks 17 watchers JavaScript

2 Open Issues Need Help Last updated: Mar 3, 2026

Open Issues Need Help

View All on GitHub

Limit length of <title> reporting 3 months ago

bug good first issue

lobsters/mockturtle

17

Lobsters IRC bot

JavaScript

announce issues/PRs to #lobsters when opened or closed 4 months ago

enhancement good first issue

lobsters/mockturtle

17

Lobsters IRC bot

JavaScript