Prateek Kumar
Blog
Posts
Sudoku solver using a SAT Solver in Rust and WebAssembly
2019-12-30
#rust
#wasm
#web-assembly
#sudoku
#sat-solver
Experience at UTokyo
2018-10-05
#utokyo
#internship
GNU Readline for Tab autocomplete and Bash like History
2018-08-18
#bash
#cpp
#gnu
#readline
Public Key Cryptography using Elliptic Curves
2018-06-02
#ecc
#cryptography
#security
#encryption
#decryption
Hello, World!
2018-01-01
#hello