| user: | sankha93 |
| created: | January 24, 2012 |
| karma: | 421 |
| about: | https://sankhs.com [ my public key: https://keybase.io/sankha; my proof: https://keybase.io/sankha/sigs/fNCBWiRz03YhX9qwaVqJtlytd4Cu4ow8db4gHejSxhU ] |
| 1. | |
| 2. | The Kani Rust Verifier Project(model-checking.github.io) |
| 3. | Show HN: Program Synthesis for Ruby(github.com) |
| 4. |