brown-cs22/CS22-Lean-2023

Lean course materials for Brown CS 22, Spring 2023

LeanDockerfile
This is stars and forks stats for /brown-cs22/CS22-Lean-2023 repository. As of 07 May, 2024 this repository has 13 stars and 21 forks.

Brown CS22 Spring 2023: Lean project Directions for setting up GitPod Before following these directions, you will need to sign up for a GitHub account if you don't have one already. This will be useful throughout the rest of your career at Brown CS. We strongly recommend picking a professional and identifiable username. For example, I'm robertylewis. There are scattered reports that this might not work on some versions of Safari. If you run into trouble, try it in Chrome or Firefox before reporting...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
ublue-os/nvidiaShellDockerfile1150270
KopanevPavel/SLAM-DockersDockerfileShellMakefile89080
hmanzur/actions-aws-ebDockerfileShell46045+1
falgon/roki-webHaskellHTMLJavaScript0020
slippersheepig/chatgpt-webCSSJavaScriptHTML3680790
fuzhengwei/chatbot-apiJavaDockerfileShell406+4159+1
acikkaynak/deprem-yardimiPHPBladeCSS700280
samim23/polymathPythonDockerfile1.4k01090
lifeiteng/vall-ePythonShellDockerfile1.4k02500
auguwu/floofy.devAstroTypeScriptJavaScript22030