sidprasad

PhD Student at Brown University, former dev @ Microsoft.

Brown UniversityProvidence, RI

Pinned Repositories

comp20-sprasad
Private Repo for Siddhartha Prasad
Language:JavaScript00
CS22-Lean-2023
Lean course materials for Brown CS 22, Spring 2023
Language:Lean0 0 00
DeathStarBench
Open-source benchmark suite for cloud microservices
Language:C0 1 00
DLGeo
Language:Jupyter Notebook20
Forge
Language:Racket20
forge-documentation
Language:CSS0 0 00
inpainting
Simple image inpainting system
Language:Scilab10
NetworkInterpreter
Interpreter with shared environment across a network
Language:C1 3 30
RewriteVerificationSystem
Certified Rewrite Verifer
Language:Prolog10
sidbison
Stepwise Interactive Debugger for Bison 2.3
Language:C1 3 60

sidprasad's Repositories

sidprasad/DLGeo
Language:Jupyter Notebook20
sidprasad/Forge
Language:Racket20
sidprasad/inpainting
Simple image inpainting system
Language:Scilab10
sidprasad/NetworkInterpreter
Interpreter with shared environment across a network
Language:C1 3 30
sidprasad/RewriteVerificationSystem
Certified Rewrite Verifer
Language:Prolog10
sidprasad/sidbison
Stepwise Interactive Debugger for Bison 2.3
Language:C1 3 60
sidprasad/comp20-sprasad
Private Repo for Siddhartha Prasad
Language:JavaScript00
sidprasad/CS22-Lean-2023
Lean course materials for Brown CS 22, Spring 2023
Language:Lean0 0 00
sidprasad/DeathStarBench
Open-source benchmark suite for cloud microservices
Language:C0 1 00
sidprasad/forge-documentation
Language:CSS0 0 00
sidprasad/gradescope-api
sidprasad/mathlib
Lean mathematical components library
Language:Lean0 0
sidprasad/pbug
Haskell Parser generator
Language:Haskell2 0
sidprasad/sidprasad.github.io
Language:CSS
sidprasad/vscode-extension-samples
Sample code illustrating the VS Code extension API.
sidprasad/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant