Verified Assembly Language for Everest - Project Everest - project-everest

GitHub GitHub
Size 69.4M (69.3M (+84K))
Commits 1901 (1899 (+2))
Update Stats 1s ... 51s (20s * 10)
Last Change 2020-07-23 23:52:06
Last Check 2020-08-03 13:51:02
Created 2020-05-15 15:41:34
Remotes
1. https://github.com/project-everest/vale
Forks
1. https://github.com/29e7e280-0d1c-4bba-98fe-f7cd3ca7500a/vale
2. https://github.com/andreasdotorg/vale
3. https://github.com/diagprov/vale
4. https://github.com/JMoerman/vale
5. https://github.com/Marlloy/vale
6. https://github.com/mewbak/vale
7. https://github.com/prasadrayana/vale
8. https://github.com/rbarraud/vale
9. https://github.com/susienme/vale
10. https://github.com/tahina-pro/vale
11. https://github.com/thomasveje/vale
12. https://github.com/wisebaldone/vale
13. https://github.com/zeta1999/vale

Messages as of last check on 2020-08-03 13:51:02

Operation

Marlloy/vale
diagprov/vale
zeta1999/vale
JMoerman/vale
rbarraud/vale
thomasveje/vale
mewbak/vale
crossonrose/vale
tahina-pro/vale
wisebaldone/vale
prasadrayana/vale
susienme/vale
29e7e280-0d1c-4bba-98fe-f7cd3ca7500a/vale
andreasdotorg/vale
m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fvale https://github.com/project-everest/vale (fetch)
m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fvale https://github.com/project-everest/vale (push)
m-vcs-github-fork-29e7e280-0d1c-4bba-98fe-f7cd3ca7500a  https://github.com/29e7e280-0d1c-4bba-98fe-f7cd3ca7500a/vale (fetch)
m-vcs-github-fork-29e7e280-0d1c-4bba-98fe-f7cd3ca7500a  https://github.com/29e7e280-0d1c-4bba-98fe-f7cd3ca7500a/vale (push)
m-vcs-github-fork-JMoerman  https://github.com/JMoerman/vale (fetch)
m-vcs-github-fork-JMoerman  https://github.com/JMoerman/vale (push)
m-vcs-github-fork-Marlloy   https://github.com/Marlloy/vale (fetch)
m-vcs-github-fork-Marlloy   https://github.com/Marlloy/vale (push)
m-vcs-github-fork-andreasdotorg https://github.com/andreasdotorg/vale (fetch)
m-vcs-github-fork-andreasdotorg https://github.com/andreasdotorg/vale (push)
m-vcs-github-fork-diagprov  https://github.com/diagprov/vale (fetch)
m-vcs-github-fork-diagprov  https://github.com/diagprov/vale (push)
m-vcs-github-fork-mewbak    https://github.com/mewbak/vale (fetch)
m-vcs-github-fork-mewbak    https://github.com/mewbak/vale (push)
m-vcs-github-fork-prasadrayana  https://github.com/prasadrayana/vale (fetch)
m-vcs-github-fork-prasadrayana  https://github.com/prasadrayana/vale (push)
m-vcs-github-fork-rbarraud  https://github.com/rbarraud/vale (fetch)
m-vcs-github-fork-rbarraud  https://github.com/rbarraud/vale (push)
m-vcs-github-fork-susienme  https://github.com/susienme/vale (fetch)
m-vcs-github-fork-susienme  https://github.com/susienme/vale (push)
m-vcs-github-fork-tahina-pro    https://github.com/tahina-pro/vale (fetch)
m-vcs-github-fork-tahina-pro    https://github.com/tahina-pro/vale (push)
m-vcs-github-fork-thomasveje    https://github.com/thomasveje/vale (fetch)
m-vcs-github-fork-thomasveje    https://github.com/thomasveje/vale (push)
m-vcs-github-fork-wisebaldone   https://github.com/wisebaldone/vale (fetch)
m-vcs-github-fork-wisebaldone   https://github.com/wisebaldone/vale (push)
m-vcs-github-fork-zeta1999  https://github.com/zeta1999/vale (fetch)
m-vcs-github-fork-zeta1999  https://github.com/zeta1999/vale (push)
m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fvale
m-vcs-github-fork-29e7e280-0d1c-4bba-98fe-f7cd3ca7500a
m-vcs-github-fork-JMoerman
m-vcs-github-fork-Marlloy
m-vcs-github-fork-andreasdotorg
m-vcs-github-fork-diagprov
m-vcs-github-fork-mewbak
m-vcs-github-fork-prasadrayana
m-vcs-github-fork-rbarraud
m-vcs-github-fork-susienme
m-vcs-github-fork-tahina-pro
m-vcs-github-fork-thomasveje
m-vcs-github-fork-wisebaldone
m-vcs-github-fork-zeta1999
1901
Fetching m-vcs-github-fork-rbarraud
Fetching m-vcs-github-fork-diagprov
Fetching m-vcs-github-fork-andreasdotorg
Fetching m-vcs-github-fork-wisebaldone
Fetching m-vcs-github-fork-zeta1999
Fetching m-vcs-github-fork-JMoerman
Fetching m-vcs-github-fork-susienme
Fetching m-vcs-github-fork-tahina-pro
Fetching m-vcs-github-fork-thomasveje
Fetching m-vcs-github-fork-29e7e280-0d1c-4bba-98fe-f7cd3ca7500a
Fetching m-vcs-github-fork-mewbak
Fetching m-vcs-github-fork-prasadrayana
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fvale
Fetching m-vcs-github-fork-Marlloy
1901

Contact information

Mail to Andreas Kupries