Recent Technology Changes in frama-c.com

10 months ago
See full history

Technologies in use by frama-c.com

jQuery: The Write Less, Do More, JavaScript Library.

A family of standard web feed formats used to publish frequently updated information like blog entries, news headlines, audio and video.

nginx [engine x] is a HTTP server and mail proxy server written by Igor Sysoev.

DNS services provided by OVH.

The DOCTYPE is a required preamble for HTML5 websites.

Wesites using favicon rel tag

The http-equiv attribute provides an HTTP header for the information/value of the content attribute. The http-equiv attribute can be used to simulate an HTTP response header.

Similar Sites

These websites are related to frama-c.com in terms of content, traffic and structure