Vedant Raval's repositories
Tone-Mapping-Library
A compilation of various tone mapping algorithms programmed in MATLAB
SAT-solver-toolbox
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem