lobsters

lobsters/mockturtle

Lobsters IRC bot

17 stars 7 forks 17 watchers JavaScript
View on GitHub
2 Open Issues Need Help Last updated: Mar 3, 2026

Open Issues Need Help

View All on GitHub
Limit length of <title> reporting 22 days ago
bug good first issue
lobsters/mockturtle
17

Lobsters IRC bot

JavaScript
announce issues/PRs to #lobsters when opened or closed 26 days ago
enhancement good first issue
lobsters/mockturtle
17

Lobsters IRC bot

JavaScript