1. Coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
✭ 191
ocaml2. Bamboo
Bamboo see https://github.com/cornellblockchain/bamboo
3. gohantabeyo
Gohantabeyo is a web site where people can make a wish whom they want to eat out with. If the other makes a similar wish, their wishes are told to both.
1-6 of 6 user projects