Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
☆32May 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Sep 7, 2020Updated 5 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 5 years ago
- Code from CS152 lectures☆14Apr 13, 2026Updated 3 weeks ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 8 months ago
- ☆11May 14, 2023Updated 2 years ago
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 4 years ago
- Automated reasoning based on the Laws of Intelligence naturally embedded in the human language • Open source software • Multilingual, inc…☆25Updated this week
- ☆19Jun 9, 2023Updated 2 years ago
- ☆30Apr 27, 2026Updated last week
- Type-safe Queries☆54Sep 11, 2023Updated 2 years ago
- class repo for cs140e, stanford winter quarter 2022☆52Mar 9, 2022Updated 4 years ago
- ☆13Aug 18, 2025Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- sbt plugin for TeaVM. Generate JavaScript and WebAssembly from Java bytecode☆11Updated this week
- 面向可信执行环境的OS。☆12May 9, 2025Updated 11 months ago
- Desktop Sanskrit-English Dictionary☆12Jul 7, 2020Updated 5 years ago
- Functions to scrape web pages from ebird.org☆10Jul 15, 2025Updated 9 months ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 4 months ago
- ☆36Jul 24, 2022Updated 3 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- A take on TodoMVC developed using functional effects with @matechs/effect and fp-ts☆15Jan 6, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- This is a repo for benchmarking Wasmer (compilation & runtime)☆20Aug 4, 2020Updated 5 years ago
- ☆12Jun 10, 2023Updated 2 years ago
- ☆16May 22, 2023Updated 2 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆33Dec 29, 2024Updated last year
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆100Dec 21, 2021Updated 4 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- A (very) simple graph library.☆12Apr 6, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Code and text for my blog☆12Dec 1, 2021Updated 4 years ago
- 📦 PureScript package management with Nix☆11Aug 17, 2019Updated 6 years ago
- CS 704 course website - Principles of Programming Languages☆69Nov 24, 2022Updated 3 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- A program logic for concurrent randomized programs☆14Nov 9, 2018Updated 7 years ago
- A cli pixel art generator written in rust☆15Jan 10, 2025Updated last year
- A fully type-safe multi-role communication protocol framework.☆13Nov 21, 2024Updated last year