Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
☆19May 4, 2020Updated 5 years ago
Alternatives and similar repositories for spring20
Users that are interested in spring20 are comparing it to the libraries listed below
Sorting:
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23May 9, 2018Updated 7 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 8 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Jul 11, 2023Updated 2 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 2 years ago
- Programs and Proofs -- Spring 2025 -- IITM☆20May 10, 2025Updated 9 months ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55May 16, 2022Updated 3 years ago
- Sokoban (in Coq) [maintainer=@erikmd]☆24Jan 3, 2025Updated last year
- A proof of Abel-Ruffini theorem.☆30Oct 17, 2025Updated 4 months ago
- ☆36Jan 8, 2026Updated last month
- ☆51Jan 30, 2026Updated last month
- interactive λ-calculus for learning☆37Jun 1, 2019Updated 6 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- Capability Distribution Language tools for seL4☆38Nov 25, 2025Updated 3 months ago
- 十分钟魔法练习 in OCaml☆37Mar 31, 2022Updated 3 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- ☆13Jul 22, 2022Updated 3 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Jul 6, 2017Updated 8 years ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- A function definition package for Coq☆236Updated this week
- A Verified Compiler for Gallina, Written in Gallina☆160Feb 19, 2026Updated last week
- ☆13Jan 17, 2022Updated 4 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- CS6868: Concurrent Programming☆32Updated this week
- A generative visual sequencer instrument for monome norns☆12May 9, 2023Updated 2 years ago
- ☆13Sep 5, 2024Updated last year
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- TrustZone True Number Generator☆42Apr 5, 2022Updated 3 years ago
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago