ezyang / pl-class-public
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
☆37Updated 2 years ago
Alternatives and similar repositories for pl-class-public:
Users that are interested in pl-class-public are comparing it to the libraries listed below
- Haskell bindings for MLIR☆106Updated last week
- A programming project on automatic differentiation in OCaml☆11Updated 2 years ago
- embedding MLIR in LEAN☆47Updated 8 months ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- Functional Programming in Lean☆76Updated 9 months ago
- A graduate course on distributed systems☆17Updated 2 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆45Updated last year
- A deterministic parser with fused lexing☆72Updated last year
- A minimal development of SSA theory☆109Updated this week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- The WIP book for CPSC 411☆63Updated this week
- ☆113Updated 3 months ago
- ☆78Updated 2 months ago
- Accelerated machine learning with dependent types☆87Updated this week
- A monadic library for symbolic evaluation☆58Updated this week
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆10Updated last year
- OCaml Bindings to MLIR☆15Updated 4 years ago
- TORCH_LOGS parser for PT2☆33Updated this week
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆23Updated 2 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆69Updated this week
- Demo for dependent types + runtime code generation☆66Updated last week
- Building group theory from scratch in Lean☆59Updated 4 years ago
- PyTorch centric eager mode debugger☆46Updated 2 months ago
- Haskell experiments involving TVM AI framework☆21Updated 5 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago
- Data Parallel Programming☆22Updated last year
- Compositional Verification of Composite Byzantine Protocols☆12Updated 6 months ago