Tau Prolog is a client-side Prolog interpreter fully implemented in JavaScript, whose development has been directed by the ISO Prolog Standard. ISO Prolog Standard compliance. Tau Prolog development ...
Jsfuzz is coverage-guided fuzzer for testing javascript/nodejs packages. Fuzzing for safe languages like nodejs is a powerful strategy for finding bugs like unhandled exceptions, logic bugs, security ...