ezyang / pl-class-public
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
☆37Updated 3 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
Sorting:
- Haskell bindings for MLIR☆106Updated 2 months ago
- embedding MLIR in LEAN☆47Updated 11 months ago
- A minimal development of SSA theory☆131Updated this week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- ☆39Updated last year
- A programming project on automatic differentiation in OCaml☆12Updated 2 years ago
- ☆48Updated 2 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆50Updated 2 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- Functional Programming in Lean☆78Updated last week
- The Shine compiler for the RISE language☆82Updated last month
- A toolkit for enforcing logical specifications on neural networks☆93Updated this week
- A deterministic parser with fused lexing☆72Updated last year
- Python bindings for egg☆48Updated 2 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 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 2 years ago
- ☆80Updated 5 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 11 months ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆94Updated this week
- CIS 6700, Spring 2023☆18Updated 2 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- Haskell experiments involving TVM AI framework☆20Updated 6 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆10Updated 5 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- Accelerated machine learning with dependent types☆95Updated this week
- Git repository for the course Logika v računalništvu☆12Updated 3 years ago
- A monadic library for symbolic evaluation☆60Updated last week
- ☆120Updated last week
- Parallel ML benchmark suite☆16Updated 3 weeks ago