- Lausanne, Switzerland
- https://sankalp.gambhir.gg
Highlights
- Pro
Block or Report
Block or report sankalpgambhir
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
epfl-lara/lisa
epfl-lara/lisa PublicProof assistant based on first-order logic and set theory
-
-
ardio
ardio PublicModel for fast and memory efficient audio processing on embedded systems, with an Arduino based implementation.
C++
-
petris
petris PublicAn FPGA based Tetris clone, with an emulated VGA output running on SDL.
Verilog
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.