This is the GNU Modula-2 standard library that comes with the gm2 compiler.

This is the GNU Modula-2 standard library that comes with the gm2 compiler.

This is the GNU Modula-2 standard library that comes with the gm2 compiler.

This is the GNU Modula-2 standard library that comes with the gm2 compiler.

Crypt::Bcrypt provides a modern and user-friendly implementation of the bcrypt password hash.

JBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.