KreMLin is a tool for extracting low-level F* programs to readable C code - FStarLang

GitHub GitHub
Size 24.8M (24.8M (+44K))
Commits 2816 (2815 (+1))
Update Stats 0s ... 1m16s (58s * 10)
Last Change 2020-08-03 13:52:16
Last Check 2020-08-03 13:51:02
Created 2020-05-15 15:42:26
Remotes
1. https://github.com/FStarLang/kremlin
Forks
1. https://github.com/ambiso/kremlin
2. https://github.com/andreasdotorg/kremlin
3. https://github.com/anithag/kremlin
4. https://github.com/aravindgopall/kremlin
5. https://github.com/beurdouche/kremlin
6. https://github.com/beyonddream/kremlin
7. https://github.com/Bill-Fischofer-Personal/kremlin
8. https://github.com/blipp/kremlin
9. https://github.com/chritchens/kremlin
10. https://github.com/cpehle/kremlin
11. https://github.com/davenpcj5542009/kremlin
12. https://github.com/denismerigoux/kremlin
13. https://github.com/fangyi-zhou/kremlin
14. https://github.com/franziskuskiefer/kremlin
15. https://github.com/fstar-ja/kremlin
16. https://github.com/fuath/kremlin
17. https://github.com/georgio/kremlin
18. https://github.com/jkzinzindohoue/kremlin
19. https://github.com/mailan2008/kremlin
20. https://github.com/makotokato/kremlin
21. https://github.com/master-q/kremlin
22. https://github.com/phase/kremlin
23. https://github.com/psinogas/kremlin
24. https://github.com/psumbera/kremlin
25. https://github.com/SatyendraBanjare/kremlin
26. https://github.com/shravanrn/kremlin
27. https://github.com/sizzles/kremlin
28. https://github.com/sopium/kremlin
29. https://github.com/srdqty/kremlin
30. https://github.com/tahina-pro/kremlin
31. https://github.com/tchajed/kremlin
32. https://github.com/Theodus/kremlin
33. https://github.com/ueno/kremlin
34. https://github.com/unipi-seccomp/kremlin
35. https://github.com/vincentjzimmer/kremlin
36. https://github.com/wintersteiger/kremlin
37. https://github.com/XVilka/kremlin
38. https://github.com/zeta1999/kremlin

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

Operation

sopium/kremlin
psinogas/kremlin
zeta1999/kremlin
phase/kremlin
ueno/kremlin
fangyi-zhou/kremlin
srdqty/kremlin
Theodus/kremlin
anithag/kremlin
xhwyli/kremlin
XVilka/kremlin
beyonddream/kremlin
SatyendraBanjare/kremlin
georgio/kremlin
davenpcj5542009/kremlin
Bill-Fischofer-Personal/kremlin
aravindgopall/kremlin
blipp/kremlin
unipi-seccomp/kremlin
mailan2008/kremlin
chritchens/kremlin
fuath/kremlin
crossonrose/kremlin
shravanrn/kremlin
ambiso/kremlin
fstar-ja/kremlin
master-q/kremlin
denismerigoux/kremlin
tahina-pro/kremlin
wintersteiger/kremlin
psumbera/kremlin
franziskuskiefer/kremlin
makotokato/kremlin
sizzles/kremlin
tchajed/kremlin
andreasdotorg/kremlin
cpehle/kremlin
vincentjzimmer/kremlin
beurdouche/kremlin
jkzinzindohoue/kremlin
m-vcs-git-https%3a%2f%2fgithub.com%2fFStarLang%2fkremlin    https://github.com/FStarLang/kremlin (fetch)
m-vcs-git-https%3a%2f%2fgithub.com%2fFStarLang%2fkremlin    https://github.com/FStarLang/kremlin (push)
m-vcs-github-fork-Bill-Fischofer-Personal   https://github.com/Bill-Fischofer-Personal/kremlin (fetch)
m-vcs-github-fork-Bill-Fischofer-Personal   https://github.com/Bill-Fischofer-Personal/kremlin (push)
m-vcs-github-fork-SatyendraBanjare  https://github.com/SatyendraBanjare/kremlin (fetch)
m-vcs-github-fork-SatyendraBanjare  https://github.com/SatyendraBanjare/kremlin (push)
m-vcs-github-fork-Theodus   https://github.com/Theodus/kremlin (fetch)
m-vcs-github-fork-Theodus   https://github.com/Theodus/kremlin (push)
m-vcs-github-fork-XVilka    https://github.com/XVilka/kremlin (fetch)
m-vcs-github-fork-XVilka    https://github.com/XVilka/kremlin (push)
m-vcs-github-fork-ambiso    https://github.com/ambiso/kremlin (fetch)
m-vcs-github-fork-ambiso    https://github.com/ambiso/kremlin (push)
m-vcs-github-fork-andreasdotorg https://github.com/andreasdotorg/kremlin (fetch)
m-vcs-github-fork-andreasdotorg https://github.com/andreasdotorg/kremlin (push)
m-vcs-github-fork-anithag   https://github.com/anithag/kremlin (fetch)
m-vcs-github-fork-anithag   https://github.com/anithag/kremlin (push)
m-vcs-github-fork-aravindgopall https://github.com/aravindgopall/kremlin (fetch)
m-vcs-github-fork-aravindgopall https://github.com/aravindgopall/kremlin (push)
m-vcs-github-fork-beurdouche    https://github.com/beurdouche/kremlin (fetch)
m-vcs-github-fork-beurdouche    https://github.com/beurdouche/kremlin (push)
m-vcs-github-fork-beyonddream   https://github.com/beyonddream/kremlin (fetch)
m-vcs-github-fork-beyonddream   https://github.com/beyonddream/kremlin (push)
m-vcs-github-fork-blipp https://github.com/blipp/kremlin (fetch)
m-vcs-github-fork-blipp https://github.com/blipp/kremlin (push)
m-vcs-github-fork-chritchens    https://github.com/chritchens/kremlin (fetch)
m-vcs-github-fork-chritchens    https://github.com/chritchens/kremlin (push)
m-vcs-github-fork-cpehle    https://github.com/cpehle/kremlin (fetch)
m-vcs-github-fork-cpehle    https://github.com/cpehle/kremlin (push)
m-vcs-github-fork-davenpcj5542009   https://github.com/davenpcj5542009/kremlin (fetch)
m-vcs-github-fork-davenpcj5542009   https://github.com/davenpcj5542009/kremlin (push)
m-vcs-github-fork-denismerigoux https://github.com/denismerigoux/kremlin (fetch)
m-vcs-github-fork-denismerigoux https://github.com/denismerigoux/kremlin (push)
m-vcs-github-fork-fangyi-zhou   https://github.com/fangyi-zhou/kremlin (fetch)
m-vcs-github-fork-fangyi-zhou   https://github.com/fangyi-zhou/kremlin (push)
m-vcs-github-fork-franziskuskiefer  https://github.com/franziskuskiefer/kremlin (fetch)
m-vcs-github-fork-franziskuskiefer  https://github.com/franziskuskiefer/kremlin (push)
m-vcs-github-fork-fstar-ja  https://github.com/fstar-ja/kremlin (fetch)
m-vcs-github-fork-fstar-ja  https://github.com/fstar-ja/kremlin (push)
m-vcs-github-fork-fuath https://github.com/fuath/kremlin (fetch)
m-vcs-github-fork-fuath https://github.com/fuath/kremlin (push)
m-vcs-github-fork-georgio   https://github.com/georgio/kremlin (fetch)
m-vcs-github-fork-georgio   https://github.com/georgio/kremlin (push)
m-vcs-github-fork-jkzinzindohoue    https://github.com/jkzinzindohoue/kremlin (fetch)
m-vcs-github-fork-jkzinzindohoue    https://github.com/jkzinzindohoue/kremlin (push)
m-vcs-github-fork-mailan2008    https://github.com/mailan2008/kremlin (fetch)
m-vcs-github-fork-mailan2008    https://github.com/mailan2008/kremlin (push)
m-vcs-github-fork-makotokato    https://github.com/makotokato/kremlin (fetch)
m-vcs-github-fork-makotokato    https://github.com/makotokato/kremlin (push)
m-vcs-github-fork-master-q  https://github.com/master-q/kremlin (fetch)
m-vcs-github-fork-master-q  https://github.com/master-q/kremlin (push)
m-vcs-github-fork-phase https://github.com/phase/kremlin (fetch)
m-vcs-github-fork-phase https://github.com/phase/kremlin (push)
m-vcs-github-fork-psinogas  https://github.com/psinogas/kremlin (fetch)
m-vcs-github-fork-psinogas  https://github.com/psinogas/kremlin (push)
m-vcs-github-fork-psumbera  https://github.com/psumbera/kremlin (fetch)
m-vcs-github-fork-psumbera  https://github.com/psumbera/kremlin (push)
m-vcs-github-fork-shravanrn https://github.com/shravanrn/kremlin (fetch)
m-vcs-github-fork-shravanrn https://github.com/shravanrn/kremlin (push)
m-vcs-github-fork-sizzles   https://github.com/sizzles/kremlin (fetch)
m-vcs-github-fork-sizzles   https://github.com/sizzles/kremlin (push)
m-vcs-github-fork-sopium    https://github.com/sopium/kremlin (fetch)
m-vcs-github-fork-sopium    https://github.com/sopium/kremlin (push)
m-vcs-github-fork-srdqty    https://github.com/srdqty/kremlin (fetch)
m-vcs-github-fork-srdqty    https://github.com/srdqty/kremlin (push)
m-vcs-github-fork-tahina-pro    https://github.com/tahina-pro/kremlin (fetch)
m-vcs-github-fork-tahina-pro    https://github.com/tahina-pro/kremlin (push)
m-vcs-github-fork-tchajed   https://github.com/tchajed/kremlin (fetch)
m-vcs-github-fork-tchajed   https://github.com/tchajed/kremlin (push)
m-vcs-github-fork-ueno  https://github.com/ueno/kremlin (fetch)
m-vcs-github-fork-ueno  https://github.com/ueno/kremlin (push)
m-vcs-github-fork-unipi-seccomp https://github.com/unipi-seccomp/kremlin (fetch)
m-vcs-github-fork-unipi-seccomp https://github.com/unipi-seccomp/kremlin (push)
m-vcs-github-fork-vincentjzimmer    https://github.com/vincentjzimmer/kremlin (fetch)
m-vcs-github-fork-vincentjzimmer    https://github.com/vincentjzimmer/kremlin (push)
m-vcs-github-fork-wintersteiger https://github.com/wintersteiger/kremlin (fetch)
m-vcs-github-fork-wintersteiger https://github.com/wintersteiger/kremlin (push)
m-vcs-github-fork-zeta1999  https://github.com/zeta1999/kremlin (fetch)
m-vcs-github-fork-zeta1999  https://github.com/zeta1999/kremlin (push)
m-vcs-git-https%3a%2f%2fgithub.com%2fFStarLang%2fkremlin
m-vcs-github-fork-Bill-Fischofer-Personal
m-vcs-github-fork-SatyendraBanjare
m-vcs-github-fork-Theodus
m-vcs-github-fork-XVilka
m-vcs-github-fork-ambiso
m-vcs-github-fork-andreasdotorg
m-vcs-github-fork-anithag
m-vcs-github-fork-aravindgopall
m-vcs-github-fork-beurdouche
m-vcs-github-fork-beyonddream
m-vcs-github-fork-blipp
m-vcs-github-fork-chritchens
m-vcs-github-fork-cpehle
m-vcs-github-fork-davenpcj5542009
m-vcs-github-fork-denismerigoux
m-vcs-github-fork-fangyi-zhou
m-vcs-github-fork-franziskuskiefer
m-vcs-github-fork-fstar-ja
m-vcs-github-fork-fuath
m-vcs-github-fork-georgio
m-vcs-github-fork-jkzinzindohoue
m-vcs-github-fork-mailan2008
m-vcs-github-fork-makotokato
m-vcs-github-fork-master-q
m-vcs-github-fork-phase
m-vcs-github-fork-psinogas
m-vcs-github-fork-psumbera
m-vcs-github-fork-shravanrn
m-vcs-github-fork-sizzles
m-vcs-github-fork-sopium
m-vcs-github-fork-srdqty
m-vcs-github-fork-tahina-pro
m-vcs-github-fork-tchajed
m-vcs-github-fork-ueno
m-vcs-github-fork-unipi-seccomp
m-vcs-github-fork-vincentjzimmer
m-vcs-github-fork-wintersteiger
m-vcs-github-fork-zeta1999
2815
Fetching m-vcs-github-fork-psumbera
Fetching m-vcs-github-fork-blipp
Fetching m-vcs-github-fork-fstar-ja
Fetching m-vcs-github-fork-phase
Fetching m-vcs-github-fork-master-q
Fetching m-vcs-github-fork-Bill-Fischofer-Personal
Fetching m-vcs-github-fork-tchajed
Fetching m-vcs-github-fork-tahina-pro
Fetching m-vcs-github-fork-jkzinzindohoue
Fetching m-vcs-github-fork-ambiso
Fetching m-vcs-github-fork-denismerigoux
Fetching m-vcs-github-fork-davenpcj5542009
Fetching m-vcs-github-fork-aravindgopall
Fetching m-vcs-github-fork-georgio
Fetching m-vcs-github-fork-Theodus
Fetching m-vcs-github-fork-unipi-seccomp
Fetching m-vcs-github-fork-vincentjzimmer
Fetching m-vcs-github-fork-SatyendraBanjare
Fetching m-vcs-github-fork-srdqty
Fetching m-vcs-github-fork-ueno
Fetching m-vcs-github-fork-XVilka
Fetching m-vcs-github-fork-fuath
Fetching m-vcs-github-fork-cpehle
Fetching m-vcs-github-fork-fangyi-zhou
Fetching m-vcs-github-fork-makotokato
Fetching m-vcs-github-fork-chritchens
Fetching m-vcs-github-fork-shravanrn
Fetching m-vcs-github-fork-anithag
Fetching m-vcs-github-fork-mailan2008
Fetching m-vcs-github-fork-sizzles
Fetching m-vcs-github-fork-wintersteiger
Fetching m-vcs-github-fork-andreasdotorg
Fetching m-vcs-github-fork-beurdouche
Fetching m-vcs-github-fork-franziskuskiefer
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2fFStarLang%2fkremlin
Fetching m-vcs-github-fork-zeta1999
Fetching m-vcs-github-fork-psinogas
Fetching m-vcs-github-fork-sopium
Fetching m-vcs-github-fork-beyonddream

From https://github.com/FStarLang/kremlin
   c33d71fe..7d0459df  master     -> m-vcs-git-https%3a%2f%2fgithub.com%2fFStarLang%2fkremlin/master
   c3322295..7d0459df  protz_ci   -> m-vcs-git-https%3a%2f%2fgithub.com%2fFStarLang%2fkremlin/protz_ci
2816

Contact information

Mail to Andreas Kupries