Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
☆31May 10, 2023Updated 2 years ago
Alternatives and similar repositories for spring23
Users that are interested in spring23 are comparing it to the libraries listed below
Sorting:
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- ☆15Jul 18, 2023Updated 2 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 6 months ago
- ☆11May 14, 2023Updated 2 years ago
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 2 years ago
- TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures☆10Mar 29, 2019Updated 6 years ago
- ☆13Aug 18, 2025Updated 6 months ago
- ☆11Oct 7, 2025Updated 4 months ago
- class repo for cs140e, stanford winter quarter 2022☆52Mar 9, 2022Updated 3 years ago
- ☆16May 22, 2023Updated 2 years ago
- Securing Data Analytics on Intel SGX using Randomization☆13Aug 30, 2017Updated 8 years ago
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- 面向可信执行环境的OS。☆12May 9, 2025Updated 9 months ago
- ☆12Jun 10, 2023Updated 2 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆15Apr 19, 2022Updated 3 years ago
- ☆14Nov 7, 2025Updated 3 months ago
- ☆31Jun 14, 2023Updated 2 years ago
- Can you write a shorter Javascript version of Conway's game of life?☆16May 27, 2020Updated 5 years ago
- PyTorch compilation tutorial covering TorchScript, torch.fx, and Slapo☆17Mar 13, 2023Updated 2 years ago
- ☆20Sep 8, 2025Updated 5 months ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆98Dec 21, 2021Updated 4 years ago
- Recommended coding standard of Verilog and SystemVerilog.☆36Oct 21, 2021Updated 4 years ago
- Examples and Exercises in Rust from "Advanced Programming in the UNIX Environment"☆21May 2, 2017Updated 8 years ago
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆24Mar 29, 2023Updated 2 years ago
- Most influential papers in programming languages☆59Jan 20, 2025Updated last year
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆31Dec 29, 2024Updated last year
- 项目的主仓库☆26Sep 11, 2022Updated 3 years ago
- Secure Aggregation for Federated Learning with Malicious Actors☆28Dec 6, 2022Updated 3 years ago
- Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University☆34Oct 20, 2025Updated 4 months ago
- ☆38Aug 6, 2022Updated 3 years ago
- CS 704 course website - Principles of Programming Languages☆69Nov 24, 2022Updated 3 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Oct 26, 2025Updated 4 months ago
- All public report slides, articles and meeting minutes related to RustSBI☆29Dec 14, 2025Updated 2 months ago
- Eyrie enclave runtime kernel☆37Aug 2, 2023Updated 2 years ago
- 北京交通大学课程实验:实现一个 OS 内核 in Rust☆29Dec 10, 2022Updated 3 years ago
- ☆32Jul 11, 2022Updated 3 years ago
- ChocoPy LLVM Repo☆78Dec 9, 2022Updated 3 years ago