Pinned Repositories
comp20-sprasad
Private Repo for Siddhartha Prasad
CS22-Lean-2023
Lean course materials for Brown CS 22, Spring 2023
csci2390-assignments
DLGeo
Forge
gpt-3-vscode
VSCode extension for GPT-3.
inpainting
Simple image inpainting system
NetworkInterpreter
Interpreter with shared environment across a network
RewriteVerificationSystem
Certified Rewrite Verifer
sidbison
Stepwise Interactive Debugger for Bison 2.3
sidprasad's Repositories
sidprasad/DLGeo
sidprasad/Forge
sidprasad/gpt-3-vscode
VSCode extension for GPT-3.
sidprasad/inpainting
Simple image inpainting system
sidprasad/NetworkInterpreter
Interpreter with shared environment across a network
sidprasad/RewriteVerificationSystem
Certified Rewrite Verifer
sidprasad/sidbison
Stepwise Interactive Debugger for Bison 2.3
sidprasad/comp20-sprasad
Private Repo for Siddhartha Prasad
sidprasad/CS22-Lean-2023
Lean course materials for Brown CS 22, Spring 2023
sidprasad/csci2390-assignments
sidprasad/DeathStarBench
Open-source benchmark suite for cloud microservices
sidprasad/forge-documentation
sidprasad/copeanddrag
Spatial annotations for Forge
sidprasad/forge-antlr
ANTLR4 Specification for ForgeFM
sidprasad/gradescope-api
sidprasad/halp
Little app to help understand privacy policies
sidprasad/heroku-buildpack-apt
Buildpack that installs APT based dependencies
sidprasad/LTLf2DFA
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
sidprasad/mathlib
Lean mathematical components library
sidprasad/pbug
Haskell Parser generator
sidprasad/sidprasad.github.io
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