| user: | vs2 |
| created: | September 16, 2010 |
| karma: | 974 |
| 1. | |
| 2. | |
| 3. | A WebAssembly Powered Augmented Reality Sudoku Solver(blog.scottlogic.com) |
| 4. | |
| 5. | Voucher System verification using TLA+(moritz.systems) |
| 6. | |
| 7. | |
| 8. | Java JEP338: to express vector computations(openjdk.java.net) |