kayceesrk / cs6225_s25_iitmView external linksLinks
Programs and Proofs -- Spring 2025 -- IITM
☆20May 10, 2025Updated 9 months ago
Alternatives and similar repositories for cs6225_s25_iitm
Users that are interested in cs6225_s25_iitm are comparing it to the libraries listed below
Sorting:
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55May 16, 2022Updated 3 years ago
- CS410 "Advanced Functional Programming"☆30Feb 10, 2026Updated last week
- ☆48Jan 30, 2026Updated 2 weeks ago
- ☆13Jul 22, 2022Updated 3 years ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆24Jan 11, 2026Updated last month
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆41Apr 14, 2021Updated 4 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- ☆13Sep 5, 2024Updated last year
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 3 months ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆10Jan 18, 2024Updated 2 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- CS6868: Concurrent Programming☆29Feb 9, 2026Updated last week
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- Exercises for EOPL in Haskell☆10Apr 1, 2025Updated 10 months ago
- 2023 中国开源年度报告；2023 China Open Source Report☆16May 10, 2024Updated last year
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated 3 weeks ago
- Repository containing examples of usage of pcb-rs☆10Apr 8, 2022Updated 3 years ago
- Scudo useful files☆10Jul 3, 2022Updated 3 years ago
- The capistrano tasks for Jenkins CI Server☆26Jul 15, 2014Updated 11 years ago
- Using Git to Code, Collaborate and Share☆14Oct 9, 2024Updated last year
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- "fast" sqlite to parquet and csv converter☆30Nov 5, 2025Updated 3 months ago
- Algorithms that work on generic C arrays☆11Feb 13, 2017Updated 9 years ago
- Clipboard synchronization tool☆12Jan 30, 2026Updated 2 weeks ago
- PolyLib official git.☆11Jan 27, 2026Updated 3 weeks ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- ☆13Aug 7, 2021Updated 4 years ago
- BSim signatures and databases for Ghidra to recover function symbols with☆13Jul 11, 2024Updated last year
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 5 months ago