196 Forks
1571 Stars
1571 Watchers

CompCert

The CompCert formally-verified C compiler

How to download and setup CompCert

Open terminal and run command
git clone https://github.com/AbsInt/CompCert.git
git clone is used to create a copy or clone of CompCert repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with CompCert https://github.com/AbsInt/CompCert/archive/master.zip

Or simply clone CompCert with SSH
[email protected]:AbsInt/CompCert.git

If you have some problems with CompCert

You may open issue on CompCert support forum (system) here: https://github.com/AbsInt/CompCert/issues

Similar to CompCert repositories

Here you may see CompCert alternatives and analogs

 webpack    babel    next.js    gatsby    pkg    parcel    ruby    graal    raspberry-pi-os    pyret-lang    iris    phpredis    awesome-cpp    open-source-mac-os-apps    infer    cute_headers    OpenRCT2    libgit2    tig    lebab    rufus    reactos    guido    dynomite    unqlite    kotlin    kotlin-native    neovim    vim    vis