ezyang / pl-class-publicLinks
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☆107Updated 3 months ago
- The Shine compiler for the RISE language☆82Updated 2 weeks ago
- ☆49Updated 3 months ago
- embedding MLIR in LEAN☆47Updated 11 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated last week
- A minimal development of SSA theory☆140Updated this week
- Python bindings for egg☆49Updated 2 years ago
- A programming project on automatic differentiation in OCaml☆12Updated 2 years ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆99Updated last week
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Declarative MLIR compilers in Python!☆35Updated 4 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆52Updated 2 years ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆29Updated 2 years ago
- ☆40Updated last year
- A tracing JIT compiler for PyTorch☆13Updated 3 years ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 2 months ago
- Haskell experiments involving TVM AI framework☆20Updated 6 years ago
- A monadic library for symbolic evaluation☆66Updated 2 weeks ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- ☆55Updated last month
- An attempt at safe imperative GPU programming.☆44Updated this week
- ☆233Updated 10 months ago
- Functional Programming in Lean☆84Updated this week
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- A stepping debugger for Standard ML (SML)☆27Updated last year
- egraphs-good website☆17Updated 7 months ago
- An experimental ahead of time compiler for Relay.☆50Updated 5 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆31Updated 3 years ago