Coqprime consists in: - a library of facts from number theory - a library for elliptic curves - an efficient library for modular arithmetic - tools to generate Pocklington and elliptic curve certificates of primality

A framework that is adopted as the common language between speakers with different native tongues.

This is the GNU Fortran compiler, which compiles Fortran on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

This is the GNU Fortran compiler, which compiles Fortran on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

Open CASCADE Technology is a suite for 3D surface and solid modeling, visualization, data exchange and rapid application development. It is an excellent platform for development of numerical simulation software including CAD/CAM/CAE, AEC and GIS, as well as PDM applications.

A flake8 and Pylama plugin that checks the ordering of Python imports. It does not check anything else about the imports. Merely that they are grouped and ordered correctly.