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"☆30Updated this week
- ☆51Jan 30, 2026Updated last month
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- ☆13Jul 22, 2022Updated 3 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆42Apr 14, 2021Updated 4 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 9 years ago
- Exercises for EOPL in Haskell☆11Apr 1, 2025Updated 11 months ago
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- CS6868: Concurrent Programming☆32Updated this week
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Feb 24, 2026Updated last week
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- ☆13Sep 5, 2024Updated last year
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆11Jan 18, 2024Updated 2 years ago
- This repository implements the "Ralph" autonomous coding loop pattern, designed to be agnostic of the specific AI agent being used. Wheth…☆31Jan 7, 2026Updated 2 months ago
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Jul 17, 2025Updated 7 months ago
- CS 496: Special Topics in Data Systems Seminar (Fall 2022)☆11Nov 15, 2022Updated 3 years ago
- PolyLib official git.☆11Jan 27, 2026Updated last month
- ☆14Dec 31, 2025Updated 2 months ago
- As I work thought the book "Practical Binary Analysis" by Dennis Andriesse, https://practicalbinaryanalysis.com/ I try to make editions f…☆11Sep 28, 2021Updated 4 years ago
- Portable Coroutine Library (unofficial fork -- original by Davide Libenzi http://www.xmailserver.org/libpcl.html )☆10Feb 28, 2011Updated 15 years ago
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- Promise free Async/await☆10Dec 30, 2022Updated 3 years ago
- Get a free freebsd shell☆13Nov 8, 2025Updated 4 months ago
- yaml2xls, a library and tools for converting between yaml files and MS excel, part of the Juniper NITA solution☆12Jul 30, 2025Updated 7 months ago
- Clipboard synchronization tool☆13Jan 30, 2026Updated last month
- Typed python equivalent for R pipes.☆13Oct 16, 2022Updated 3 years ago
- 转换 Clash 订阅格式到 v2rayN 订阅格式☆11Oct 11, 2024Updated last year
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year