Proving theorems in propositional calculus using the Sylph theorem proverallisterb.github.io·1 pts·allisterb·0
Show HN: Create a ML Classification Pipeline in .NET with ClassifyBotcodeproject.com·2 pts·allisterb·0
Show HN: Cross-platform parser/query tool for MySQL, OpenSSH, etc. config filesgithub.com·4 pts·allisterb·0
DevAudit: Cross-platform security auditing with Docker and SSH remote auditinggithub.com·2 pts·allisterb·0