ezyang / pl-class-public
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
☆35Updated 2 years ago
Related projects: ⓘ
- Haskell bindings for MLIR☆91Updated this week
- An open bibliography of machine learning for formal proof papers☆32Updated 11 months ago
- A monadic library for symbolic evaluation☆51Updated this week
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 7 years ago
- embedding MLIR in LEAN☆47Updated 3 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- The Shine compiler for the RISE language☆71Updated 2 months ago
- Accelerated machine learning with dependent types☆73Updated last month
- A minimal development of SSA theory☆68Updated this week
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆26Updated last year
- A toolkit for enforcing logical specifications on neural networks☆78Updated this week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆31Updated last year
- A Language with Dependent Data and Codata Types☆47Updated this week
- ☆36Updated 4 months ago
- Geometry types☆26Updated 3 years ago
- A deterministic parser with fused lexing☆70Updated last year
- The WIP book for CPSC 411☆58Updated last year
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆69Updated 3 months ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆50Updated this week
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 4 years ago
- Support for for students (Python)☆54Updated this week
- PL conference deadline countdowns☆51Updated 2 weeks ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆57Updated 2 weeks ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆19Updated 3 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆19Updated 2 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆19Updated 2 years ago
- Linear Algebra Done...Lean☆15Updated 6 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated last year
- ☆70Updated this week