Cryptographic Primitive Code Generation by Fiat - Programming Languages and Verification Group at MIT CSAIL - mit-plv

GitHub GitHub
Size 124.4M (123.7M (+788K))
Commits 8043 (8027 (+16))
Update Stats 0s ... 4m24s (1m51s * 10)
Last Change 2020-08-05 21:28:17
Last Check 2020-08-05 21:11:01
Created 2020-05-15 16:04:13
Remotes
1. https://github.com/mit-plv/fiat-crypto
Forks
1. https://github.com/0x64616E69656C/fiat-crypto
2. https://github.com/5l1v3r1/fiat-crypto
3. https://github.com/06052017/fiat-crypto
4. https://github.com/Acidburn0zzz/fiat-crypto
5. https://github.com/andres-erbsen/fiat-crypto
6. https://github.com/Androids-help/fiat-crypto
7. https://github.com/asghry243/fiat-crypto
8. https://github.com/b0r3dd3v/fiat-crypto
9. https://github.com/babylouie28/fiat-crypto
10. https://github.com/Bagelwaffles/fiat-crypto
11. https://github.com/bbarenblat/fiat-crypto
12. https://github.com/bitbd83/fiat-crypto
13. https://github.com/Browse-holdings/fiat-crypto
14. https://github.com/bshvass/fiat-crypto
15. https://github.com/conan289/fiat-crypto
16. https://github.com/CryptoFanOrg/fiat-crypto
17. https://github.com/DaddyCal/fiat-crypto
18. https://github.com/daniel-ziegler/fiat-crypto
19. https://github.com/davidben/fiat-crypto
20. https://github.com/deathstrob23/fiat-crypto
21. https://github.com/dendisuhubdy/fiat-crypto

Messages as of last check on 2020-08-05 21:11:01

Operation

oyh7333/fiat-crypto
ppedrot/fiat-crypto
oneworldbd24/fiat-crypto
Browse-holdings/fiat-crypto
ejgallego/fiat-crypto
stechu/fiat-crypto
jromy5/fiat-crypto
wkl7227/fiat-crypto
Acidburn0zzz/fiat-crypto
ILovetheEarth/fiat-crypto
OBLMFGJE/fiat-crypto
rojii/fiat-crypto
5l1v3r1/fiat-crypto
Roseysuzaina/fiat-crypto
Androids-help/fiat-crypto
maxprofs-llcio/fiat-crypto
termux-io/fiat-crypto
bshvass/fiat-crypto
rrozestw/fiat-crypto
procoru/fiat-crypto
dendisuhubdy/fiat-crypto
tchajed/fiat-crypto
bitbd83/fiat-crypto
conan289/fiat-crypto
babylouie28/fiat-crypto
potatosalad/fiat-crypto
rhea1380/fiat-crypto
YenYenny/fiat-crypto
ESA-Security-Group/fiat-crypto
MicrohexHQ/fiat-crypto
JefferyQ/fiat-crypto
huitseeker/fiat-crypto
whitemike889/fiat-crypto
CryptoFanOrg/fiat-crypto
josh200501/fiat-crypto
lukw00heck/fiat-crypto
xinxiangbobby/fiat-crypto
mattam82/fiat-crypto
JoesaDmercado/fiat-crypto
stjordanis/fiat-crypto
zoep/fiat-crypto
asghry243/fiat-crypto
06052017/fiat-crypto
bbarenblat/fiat-crypto
andres-erbsen/fiat-crypto
lagingsapol77/fiat-crypto
soraros/fiat-crypto
b0r3dd3v/fiat-crypto
managment1/fiat-crypto
Frosne/fiat-crypto
Bagelwaffles/fiat-crypto
chainoy/fiat-crypto
fajb/fiat-crypto
vbgl/fiat-crypto
gtank/fiat-crypto
fromeroj/fiat-crypto
DaddyCal/fiat-crypto
MComee87/fiat-crypto
deathstrob23/fiat-crypto
herbelin/fiat-crypto
PraveenAsthana123/fiat-crypto
jashug/fiat-crypto
0x64616E69656C/fiat-crypto
samuelgruetter/fiat-crypto
EpsilonSolutions/fiat-crypto
sipa/fiat-crypto
roconnor-blockstream/fiat-crypto
davidben/fiat-crypto
SkySkimmer/fiat-crypto
maximedenes/fiat-crypto
JasonGross/fiat-crypto
daniel-ziegler/fiat-crypto
jadephilipoom/fiat-crypto
m-vcs-git-https%3a%2f%2fgithub.com%2fmit-plv%2ffiat-crypto  https://github.com/mit-plv/fiat-crypto (fetch)
m-vcs-git-https%3a%2f%2fgithub.com%2fmit-plv%2ffiat-crypto  https://github.com/mit-plv/fiat-crypto (push)
m-vcs-github-fork-06052017  https://github.com/06052017/fiat-crypto (fetch)
m-vcs-github-fork-06052017  https://github.com/06052017/fiat-crypto (push)
m-vcs-github-fork-0x64616E69656C    https://github.com/0x64616E69656C/fiat-crypto (fetch)
m-vcs-github-fork-0x64616E69656C    https://github.com/0x64616E69656C/fiat-crypto (push)
m-vcs-github-fork-5l1v3r1   https://github.com/5l1v3r1/fiat-crypto (fetch)
m-vcs-github-fork-5l1v3r1   https://github.com/5l1v3r1/fiat-crypto (push)
m-vcs-github-fork-Acidburn0zzz  https://github.com/Acidburn0zzz/fiat-crypto (fetch)
m-vcs-github-fork-Acidburn0zzz  https://github.com/Acidburn0zzz/fiat-crypto (push)
m-vcs-github-fork-Androids-help https://github.com/Androids-help/fiat-crypto (fetch)
m-vcs-github-fork-Androids-help https://github.com/Androids-help/fiat-crypto (push)
m-vcs-github-fork-Bagelwaffles  https://github.com/Bagelwaffles/fiat-crypto (fetch)
m-vcs-github-fork-Bagelwaffles  https://github.com/Bagelwaffles/fiat-crypto (push)
m-vcs-github-fork-Browse-holdings   https://github.com/Browse-holdings/fiat-crypto (fetch)
m-vcs-github-fork-Browse-holdings   https://github.com/Browse-holdings/fiat-crypto (push)
m-vcs-github-fork-CryptoFanOrg  https://github.com/CryptoFanOrg/fiat-crypto (fetch)
m-vcs-github-fork-CryptoFanOrg  https://github.com/CryptoFanOrg/fiat-crypto (push)
m-vcs-github-fork-DaddyCal  https://github.com/DaddyCal/fiat-crypto (fetch)
m-vcs-github-fork-DaddyCal  https://github.com/DaddyCal/fiat-crypto (push)
m-vcs-github-fork-ESA-Security-Group    https://github.com/ESA-Security-Group/fiat-crypto (fetch)
m-vcs-github-fork-ESA-Security-Group    https://github.com/ESA-Security-Group/fiat-crypto (push)
m-vcs-github-fork-EpsilonSolutions  https://github.com/EpsilonSolutions/fiat-crypto (fetch)
m-vcs-github-fork-EpsilonSolutions  https://github.com/EpsilonSolutions/fiat-crypto (push)
m-vcs-github-fork-Frosne    https://github.com/Frosne/fiat-crypto (fetch)
m-vcs-github-fork-Frosne    https://github.com/Frosne/fiat-crypto (push)
m-vcs-github-fork-JasonGross    https://github.com/JasonGross/fiat-crypto (fetch)
m-vcs-github-fork-JasonGross    https://github.com/JasonGross/fiat-crypto (push)
m-vcs-github-fork-JefferyQ  https://github.com/JefferyQ/fiat-crypto (fetch)
m-vcs-github-fork-JefferyQ  https://github.com/JefferyQ/fiat-crypto (push)
m-vcs-github-fork-JoesaDmercado https://github.com/JoesaDmercado/fiat-crypto (fetch)
m-vcs-github-fork-JoesaDmercado https://github.com/JoesaDmercado/fiat-crypto (push)
m-vcs-github-fork-MComee87  https://github.com/MComee87/fiat-crypto (fetch)
m-vcs-github-fork-MComee87  https://github.com/MComee87/fiat-crypto (push)
m-vcs-github-fork-MicrohexHQ    https://github.com/MicrohexHQ/fiat-crypto (fetch)
m-vcs-github-fork-MicrohexHQ    https://github.com/MicrohexHQ/fiat-crypto (push)
m-vcs-github-fork-OBLMFGJE  https://github.com/OBLMFGJE/fiat-crypto (fetch)
m-vcs-github-fork-OBLMFGJE  https://github.com/OBLMFGJE/fiat-crypto (push)
m-vcs-github-fork-PraveenAsthana123 https://github.com/PraveenAsthana123/fiat-crypto (fetch)
m-vcs-github-fork-PraveenAsthana123 https://github.com/PraveenAsthana123/fiat-crypto (push)
m-vcs-github-fork-Roseysuzaina  https://github.com/Roseysuzaina/fiat-crypto (fetch)
m-vcs-github-fork-Roseysuzaina  https://github.com/Roseysuzaina/fiat-crypto (push)
m-vcs-github-fork-SkySkimmer    https://github.com/SkySkimmer/fiat-crypto (fetch)
m-vcs-github-fork-SkySkimmer    https://github.com/SkySkimmer/fiat-crypto (push)
m-vcs-github-fork-andres-erbsen https://github.com/andres-erbsen/fiat-crypto (fetch)
m-vcs-github-fork-andres-erbsen https://github.com/andres-erbsen/fiat-crypto (push)
m-vcs-github-fork-asghry243 https://github.com/asghry243/fiat-crypto (fetch)
m-vcs-github-fork-asghry243 https://github.com/asghry243/fiat-crypto (push)
m-vcs-github-fork-b0r3dd3v  https://github.com/b0r3dd3v/fiat-crypto (fetch)
m-vcs-github-fork-b0r3dd3v  https://github.com/b0r3dd3v/fiat-crypto (push)
m-vcs-github-fork-babylouie28   https://github.com/babylouie28/fiat-crypto (fetch)
m-vcs-github-fork-babylouie28   https://github.com/babylouie28/fiat-crypto (push)
m-vcs-github-fork-bbarenblat    https://github.com/bbarenblat/fiat-crypto (fetch)
m-vcs-github-fork-bbarenblat    https://github.com/bbarenblat/fiat-crypto (push)
m-vcs-github-fork-bitbd83   https://github.com/bitbd83/fiat-crypto (fetch)
m-vcs-github-fork-bitbd83   https://github.com/bitbd83/fiat-crypto (push)
m-vcs-github-fork-bshvass   https://github.com/bshvass/fiat-crypto (fetch)
m-vcs-github-fork-bshvass   https://github.com/bshvass/fiat-crypto (push)
m-vcs-github-fork-conan289  https://github.com/conan289/fiat-crypto (fetch)
m-vcs-github-fork-conan289  https://github.com/conan289/fiat-crypto (push)
m-vcs-github-fork-daniel-ziegler    https://github.com/daniel-ziegler/fiat-crypto (fetch)
m-vcs-github-fork-daniel-ziegler    https://github.com/daniel-ziegler/fiat-crypto (push)
m-vcs-github-fork-davidben  https://github.com/davidben/fiat-crypto (fetch)
m-vcs-github-fork-davidben  https://github.com/davidben/fiat-crypto (push)
m-vcs-github-fork-deathstrob23  https://github.com/deathstrob23/fiat-crypto (fetch)
m-vcs-github-fork-deathstrob23  https://github.com/deathstrob23/fiat-crypto (push)
m-vcs-github-fork-dendisuhubdy  https://github.com/dendisuhubdy/fiat-crypto (fetch)
m-vcs-github-fork-dendisuhubdy  https://github.com/dendisuhubdy/fiat-crypto (push)
m-vcs-github-fork-ejgallego https://github.com/ejgallego/fiat-crypto (fetch)
m-vcs-github-fork-ejgallego https://github.com/ejgallego/fiat-crypto (push)
m-vcs-github-fork-fajb  https://github.com/fajb/fiat-crypto (fetch)
m-vcs-github-fork-fajb  https://github.com/fajb/fiat-crypto (push)
m-vcs-github-fork-fromeroj  https://github.com/fromeroj/fiat-crypto (fetch)
m-vcs-github-fork-fromeroj  https://github.com/fromeroj/fiat-crypto (push)
m-vcs-github-fork-gtank https://github.com/gtank/fiat-crypto (fetch)
m-vcs-github-fork-gtank https://github.com/gtank/fiat-crypto (push)
m-vcs-github-fork-herbelin  https://github.com/herbelin/fiat-crypto (fetch)
m-vcs-github-fork-herbelin  https://github.com/herbelin/fiat-crypto (push)
m-vcs-github-fork-huitseeker    https://github.com/huitseeker/fiat-crypto (fetch)
m-vcs-github-fork-huitseeker    https://github.com/huitseeker/fiat-crypto (push)
m-vcs-github-fork-jadephilipoom https://github.com/jadephilipoom/fiat-crypto (fetch)
m-vcs-github-fork-jadephilipoom https://github.com/jadephilipoom/fiat-crypto (push)
m-vcs-github-fork-jashug    https://github.com/jashug/fiat-crypto (fetch)
m-vcs-github-fork-jashug    https://github.com/jashug/fiat-crypto (push)
m-vcs-github-fork-josh200501    https://github.com/josh200501/fiat-crypto (fetch)
m-vcs-github-fork-josh200501    https://github.com/josh200501/fiat-crypto (push)
m-vcs-github-fork-jromy5    https://github.com/jromy5/fiat-crypto (fetch)
m-vcs-github-fork-jromy5    https://github.com/jromy5/fiat-crypto (push)
m-vcs-github-fork-lukw00heck    https://github.com/lukw00heck/fiat-crypto (fetch)
m-vcs-github-fork-lukw00heck    https://github.com/lukw00heck/fiat-crypto (push)
m-vcs-github-fork-mattam82  https://github.com/mattam82/fiat-crypto (fetch)
m-vcs-github-fork-mattam82  https://github.com/mattam82/fiat-crypto (push)
m-vcs-github-fork-maximedenes   https://github.com/maximedenes/fiat-crypto (fetch)
m-vcs-github-fork-maximedenes   https://github.com/maximedenes/fiat-crypto (push)
m-vcs-github-fork-maxprofs-llcio    https://github.com/maxprofs-llcio/fiat-crypto (fetch)
m-vcs-github-fork-maxprofs-llcio    https://github.com/maxprofs-llcio/fiat-crypto (push)
m-vcs-github-fork-oneworldbd24  https://github.com/oneworldbd24/fiat-crypto (fetch)
m-vcs-github-fork-oneworldbd24  https://github.com/oneworldbd24/fiat-crypto (push)
m-vcs-github-fork-oyh7333   https://github.com/oyh7333/fiat-crypto (fetch)
m-vcs-github-fork-oyh7333   https://github.com/oyh7333/fiat-crypto (push)
m-vcs-github-fork-potatosalad   https://github.com/potatosalad/fiat-crypto (fetch)
m-vcs-github-fork-potatosalad   https://github.com/potatosalad/fiat-crypto (push)
m-vcs-github-fork-ppedrot   https://github.com/ppedrot/fiat-crypto (fetch)
m-vcs-github-fork-ppedrot   https://github.com/ppedrot/fiat-crypto (push)
m-vcs-github-fork-procoru   https://github.com/procoru/fiat-crypto (fetch)
m-vcs-github-fork-procoru   https://github.com/procoru/fiat-crypto (push)
m-vcs-github-fork-roconnor-blockstream  https://github.com/roconnor-blockstream/fiat-crypto (fetch)
m-vcs-github-fork-roconnor-blockstream  https://github.com/roconnor-blockstream/fiat-crypto (push)
m-vcs-github-fork-rojii https://github.com/rojii/fiat-crypto (fetch)
m-vcs-github-fork-rojii https://github.com/rojii/fiat-crypto (push)
m-vcs-github-fork-rrozestw  https://github.com/rrozestw/fiat-crypto (fetch)
m-vcs-github-fork-rrozestw  https://github.com/rrozestw/fiat-crypto (push)
m-vcs-github-fork-samuelgruetter    https://github.com/samuelgruetter/fiat-crypto (fetch)
m-vcs-github-fork-samuelgruetter    https://github.com/samuelgruetter/fiat-crypto (push)
m-vcs-github-fork-sipa  https://github.com/sipa/fiat-crypto (fetch)
m-vcs-github-fork-sipa  https://github.com/sipa/fiat-crypto (push)
m-vcs-github-fork-soraros   https://github.com/soraros/fiat-crypto (fetch)
m-vcs-github-fork-soraros   https://github.com/soraros/fiat-crypto (push)
m-vcs-github-fork-stechu    https://github.com/stechu/fiat-crypto (fetch)
m-vcs-github-fork-stechu    https://github.com/stechu/fiat-crypto (push)
m-vcs-github-fork-stjordanis    https://github.com/stjordanis/fiat-crypto (fetch)
m-vcs-github-fork-stjordanis    https://github.com/stjordanis/fiat-crypto (push)
m-vcs-github-fork-tchajed   https://github.com/tchajed/fiat-crypto (fetch)
m-vcs-github-fork-tchajed   https://github.com/tchajed/fiat-crypto (push)
m-vcs-github-fork-vbgl  https://github.com/vbgl/fiat-crypto (fetch)
m-vcs-github-fork-vbgl  https://github.com/vbgl/fiat-crypto (push)
m-vcs-github-fork-whitemike889  https://github.com/whitemike889/fiat-crypto (fetch)
m-vcs-github-fork-whitemike889  https://github.com/whitemike889/fiat-crypto (push)
m-vcs-github-fork-wkl7227   https://github.com/wkl7227/fiat-crypto (fetch)
m-vcs-github-fork-wkl7227   https://github.com/wkl7227/fiat-crypto (push)
m-vcs-github-fork-xinxiangbobby https://github.com/xinxiangbobby/fiat-crypto (fetch)
m-vcs-github-fork-xinxiangbobby https://github.com/xinxiangbobby/fiat-crypto (push)
m-vcs-github-fork-zoep  https://github.com/zoep/fiat-crypto (fetch)
m-vcs-github-fork-zoep  https://github.com/zoep/fiat-crypto (push)
m-vcs-git-https%3a%2f%2fgithub.com%2fmit-plv%2ffiat-crypto
m-vcs-github-fork-06052017
m-vcs-github-fork-0x64616E69656C
m-vcs-github-fork-5l1v3r1
m-vcs-github-fork-Acidburn0zzz
m-vcs-github-fork-Androids-help
m-vcs-github-fork-Bagelwaffles
m-vcs-github-fork-Browse-holdings
m-vcs-github-fork-CryptoFanOrg
m-vcs-github-fork-DaddyCal
m-vcs-github-fork-andres-erbsen
m-vcs-github-fork-asghry243
m-vcs-github-fork-b0r3dd3v
m-vcs-github-fork-babylouie28
m-vcs-github-fork-bbarenblat
m-vcs-github-fork-bitbd83
m-vcs-github-fork-bshvass
m-vcs-github-fork-conan289
m-vcs-github-fork-daniel-ziegler
m-vcs-github-fork-davidben
m-vcs-github-fork-deathstrob23
m-vcs-github-fork-dendisuhubdy
8027
Fetching m-vcs-github-fork-bbarenblat
Fetching m-vcs-github-fork-asghry243
Fetching m-vcs-github-fork-5l1v3r1
Fetching m-vcs-github-fork-daniel-ziegler
Fetching m-vcs-github-fork-davidben
Fetching m-vcs-github-fork-bitbd83
Fetching m-vcs-github-fork-conan289
Fetching m-vcs-github-fork-Bagelwaffles
Fetching m-vcs-github-fork-06052017
Fetching m-vcs-github-fork-dendisuhubdy
Fetching m-vcs-github-fork-andres-erbsen
Fetching m-vcs-github-fork-deathstrob23
Fetching m-vcs-github-fork-babylouie28
Fetching m-vcs-github-fork-Acidburn0zzz
Fetching m-vcs-github-fork-DaddyCal
Fetching m-vcs-github-fork-CryptoFanOrg
Fetching m-vcs-github-fork-b0r3dd3v
Fetching m-vcs-github-fork-0x64616E69656C
Fetching m-vcs-github-fork-bshvass
Fetching m-vcs-github-fork-Androids-help
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2fmit-plv%2ffiat-crypto
Fetching m-vcs-github-fork-Browse-holdings

From https://github.com/mit-plv/fiat-crypto
   98cb402c4..3ed760e3c  master     -> m-vcs-git-https%3a%2f%2fgithub.com%2fmit-plv%2ffiat-crypto/master
 * [new branch]          reorganize-bedrock2_2 -> m-vcs-git-https%3a%2f%2fgithub.com%2fmit-plv%2ffiat-crypto/reorganize-bedrock2_2
8043

Contact information

Mail to Andreas Kupries