Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
☆18May 12, 2021Updated 4 years ago
Alternatives and similar repositories for spring21
Users that are interested in spring21 are comparing it to the libraries listed below
Sorting:
- Co-operative allocation of domains for OCaml☆15Jan 26, 2023Updated 3 years ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 3 years ago
- Fast char sets☆20May 5, 2025Updated 10 months ago
- A basic snake game with js_of_ocaml.☆12Oct 11, 2017Updated 8 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- A general purpose relational language☆19Feb 21, 2020Updated 6 years ago
- Emulation for legacy devices☆32Updated this week
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 6 months ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 8 years ago
- Experimental wasm-based Nu playground☆27Oct 6, 2021Updated 4 years ago
- Algebraic Combinatorics in Coq☆38Jan 25, 2026Updated last month
- example VM monitor using rust-vmm☆29Mar 1, 2021Updated 5 years ago
- OCaml library for combinatorics☆35May 27, 2025Updated 9 months ago
- LP and MIP modeling in OCaml☆29Jun 24, 2025Updated 8 months ago
- Django with Data Science [Video], published by Packt☆12Dec 15, 2025Updated 2 months ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Oct 26, 2025Updated 4 months ago
- Stub code generator for OCaml/C interface☆36Updated this week
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆37Jan 30, 2022Updated 4 years ago
- Adds weather to the game Townscaper☆11Oct 15, 2022Updated 3 years ago
- directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux…☆39Nov 3, 2025Updated 4 months ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆42Apr 14, 2021Updated 4 years ago
- Metasploit framework via HTTP services☆10Jul 31, 2021Updated 4 years ago
- Source code for ISSTA'24 paper "AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation"☆12Oct 21, 2024Updated last year
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- Lossless image minification using TinyPNG☆10May 25, 2019Updated 6 years ago
- Efficient binder representation in OCaml☆43Jul 5, 2024Updated last year
- MipScope is a cross-platform IDE for students learning assembly on the MIPS architecture. The focus is on a convenient debugging environm…☆17May 11, 2024Updated last year
- ☆12Jun 18, 2024Updated last year
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- database-course☆13Jan 6, 2023Updated 3 years ago
- Two-Factor Authentication with ASP.NET Core and Authy☆11Sep 13, 2021Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- A Minecraft fishing mod☆11Jan 7, 2026Updated last month
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- CS6868: Concurrent Programming☆32Feb 26, 2026Updated last week