cs6225_s21_iitm

(★ 13)

Course Website for CS6225: Programs and Proofs @ IIT Madras

cs6225_s21_iitm 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

ollama ★ 178,706

Kimi-K2.6, GLM-5.2, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma 및 기타 모델들을 바로 시작해 보세요.

Go
free-for-dev ★ 131,972

devops 및 infradev 엔지니어들에게 유용한 무료 티어(Free Tier)를 제공하는 SaaS, PaaS, IaaS 서비스 목록입니다.

HTML
frp ★ 108,813

NAT나 방화벽 뒤에 있는 로컬 서버를 인터넷에 쉽게 노출할 수 있도록 도와주는 빠른 리버스 프록시입니다.

Go
bitcoin ★ 89,918

Bitcoin Core 통합/스테이징 트리

C++
angular ★ 101,020

확신을 가지고 웹 앱을 배포하세요 🚀

TypeScript
deer-flow ★ 80,097

조사, 코딩, 창작을 수행하는 오픈소스 장기(long-horizon) SuperAgent 하네스입니다. 샌드박스, 메모리, 도구, 스킬, 서브에이전트, 메시지 게

Python
// repository documentation