| user: | allisterb |
| created: | January 6, 2017 |
| karma: | 11 |
| 1. | |
| 2. | Proving theorems in propositional calculus using the Sylph theorem prover(allisterb.github.io) |
| 3. | Using Image Classification to Build a Digital Forensics Tool(codeproject.com) |
| 4. | F# Linear algebra with type-level dimensions and static checks(notebooks.azure.com) |
| 5. | |
| 6. | Linear algebra in F# with type-level dimension sizes(notebooks.azure.com) |
| 7. | |
| 8. | 7 years ago | discuss |
| 9. | 7 years ago | discuss |
| 10. | |
| 11. | |
| 12. | |
| 13. | |
| 14. | NET Core Vector acceleration is comparable to C++ SIMD libraries(codeproject.com) |
| 15. | |
| 16. |